Update clone_all_github_repos.pl

use https instead of ssh