Add support for configurable HTTP proxy host/port in PluginManager.java

I would like to propose a small improvement to Gitblit by adding a proxy host/port setting for PluginManager.

Formerly by default the PluginMaganer would support no proxy setting. For servers behind firewall and HTTP proxy this would prevent installation of gitblit plugins.