Use HTTPS instead of Git protocol for clones.

Corporate firewalls enjoy blocking Git protocol access but most allow
for HTTPS access to GitHub.