Tool for tunneling SSH through HTTP proxies
