Git: setup proxy if needed

this is the case when you are behind a company firewall or proxy server.