switched git:// to https:// to avoid problems with firewall rules.

I'm currently building on some machines that cannot access github on anything but https -- and I'm guessing I'm probably not the only person who will run into this problem.

This patch alters all calls to git://github.com (in the .gitmodules file) to use https://github.com/