Currently if the proxy goes down all of tools is down. Sadpanda.

We should have two proxies, on different hardware boxes, that can both serve all tools.

Not sure how to automatically failover from one to the other. I wonder what clients will do if we keep giving out two IPs for all DNS queries...