Added parameters to jenkins base class to configure a proxy.

The proxy will only be used to download plugins. This can be usefull in a
corporate setting where access to the outside world is restricted.