Set a proxy for http protocol usage by git, and switch to using the https:// protocol in preference to git:// to make it easier to clone from behind firewalls. Change-Id: I41e809c54f3065d59ca84d83be80b9472361dd9d