Preferring HTTPS to SSH for cloning from GitHub, unless env variable USE_SSH_FOR_GITHUB is set