Use https URL for git cloning

This works better behind a corporate firewall