Tunnel SSH through HTTP proxies.
