dot_gitconfig:remove the http proxy

Most of the time will not need it; and it breaks
setup-env.sh