Use github https URLs for submodules so that you can actually clone this repo