use https urls instead of ssh to allow users without github ssh public keys fetching the submodules