Use https: instead of git: for github URLS

(the git port is blocked on our network)