WIP: Add support for Git proxy through system config.

This is a work in progress. I opened up this PR for feedback. Please don't merge!

This adds support for overriding the HTTP proxy for Git by setting the
system configuration. It uses the git command itself to write to the
config file.