Add support for proxy

Using the same method as the Java Http library does - it is necessary to use -Dhttp.proxyHost, etc because of the underlying Git library, so now these properties are also picked up by the plugin, giving support for authless proxies.