Use https instead of git.

Because the git protocol is often blocked in proxy environments.