Use HTTPS for Git cloning

In order to make the cloning of Git repos easier behind corporate firewalls, and similar sites where HTTP/HTTPS access to external sites is usually enabled.