Remove or disable Tor jenkins builders

Now that Jenkins is deprecated, I'd like to turn off all the Jenkins builders for Tor.

Rationale: These builders consume CPU, and slow down more important Jenkins builders. Let's get them out of the way as soon as possible.