Consider removing linux-tor-prio.sh from contrib/operator-tools

This script wasn't updated much since 2008 or so. Is it still used by anyone?

If not, we should delete it.