Use https for git submodules

It's much more likely that people can use the https protocol
than the git protocol (many firewalls block the latter)
Merge pull request #9303 from willthames/gitmodules_over_https

Use https for git submodules