Use https for submodules instead of git

Https should be faster and also will help with people stuck behind certain firewalls/proxies.