switch to https (with kerberos) url of gitlab by default
this does:
- avoid hammering the ssh key on a trusted system
- users who didn't add an ssh key to gitlab prior to starting don't end up with strange authentification errors and broken git repos.
- allows (if i understood correctly) checkout through public access
possible improvement:
- switches to pick ssh or kerberos-free https