Use https for all github repos.
Merge pull request #164 from mk-fg/use_https_repo_urls

Use https for all github repos.