Use https instead of git protocol

This makes it friendlier for corporate firewalls :)