Use https:// git URIs instead of git:// to prevent firewall issues, fixes #27