switch to https:// urls in github submodule links