Proxy support for git_repo

Proxy support is essential for freedesktop-sdk builds in air-gapped systems, but git_repo fails to honor the https_proxy environment variable. The https_proxy environment variable was previously functional but has recently stopped working.