Use https instead of git protocol

This works behind more firewalls.