Use the https protocol instead of git
Merge pull request #431 from luuse/https_repo_urls

Use the https protocol instead of git