Use https

HTTPS at least sometimes works over proxies in corporate networks while
git:// surely doesn't.
Fix to ordering problem ?