Run as more kinds of proxy

Tor can run as these kinds of proxy:

• transparent
• http connect
• dns

We should do some of these in Arti, depending on demand.