Fix wrong syntax for git submodule URLs

Apparently git is pickier when checking out these submodules from Jenkins than when I'm fiddling with them locally.