Use https to clone from github

Use encrypted https instead of the git protocol to clone repos from to
make man-in-the-middle attacks harder.
Merge branch 'https'