Revert "switch to github for submodules"

This reverts commit 8fe360f1e310a78e73f46dbd8eceb844c894f8fc. In
hindsight, this was a dumb idea...