Use https:// protocol for git submodules (to avoid ssh)