added option to disable the proxy server

We did some testing and it seems that the Jetty SOCKS proxy isn't always robust for our usecase. This extra option allows us to use our own proxy.