Use the https protocol instead of git

GitHub doesn't officially support the Git protocol anymore. Also the port used by git (9418) is blocked in some firewalls.