use HTTPS for clone

If the user has not registered his SSH public key with GitHub, even cloning fails. This does not happen with HTTPS.