Move from git:// to https:// for GitHub repositories

We can't yet move for develop.git.wordpress.org, as HTTPS does
not respond.
Merge pull request #521 from Varying-Vagrant-Vagrants/git-https

[PR] Move from git:// to https:// for GitHub repositories