Use https for all github repos.

`git://` protocol is plaintext and has no authentication or encryption whatsoever against both passive and active attacks.

Granted, current TLS PKI is far from perfect, but I think it is still better than nothing, and can be easily used with git/github with this simple tweak.