Use https as default git protocol.
Per the sysadmins, this will in the near future be the only way to
access anongit, so make the switch here to be ready for that when it
happens. Besides, it's already a more secure (and therefore recommended)
way to access git using unauthenticated access.