use the proxy to download the plugins

if $jenkins::proxy_host is set then we should use
it to do the wget of the plugins.