Merge pull request #61 from fwyzard/git-proxy

git-proxy: helper script to connect to the Git repository through a SOCKS proxy
Merge branch 'master' of github.com:cms-sw/cms-git-tools