use https as submodule url

git:// domains might not be allowed in all environments, while cloning
https through a proxy is fine. -> Make checkout in restrictive
environments possible.
Merge pull request #7845 from duritong/fix_submodule_url

use https as submodule url