Fix use of proxy to use https, rather than http, when
accessing github repos from behind firewall.