add a way to set HTTP Proxy for jGit ssh session (ssh over http proxy)