Use https:// protocol instead of git:// for git clone

Use https:// protocol instead of git:// for git clone, allows for installation in environments where the git protocol is blocked by firewall rules.

This is a problem for me when attempting to install GEMINI, see

https://github.com/arq5x/gemini/issues/142