Prune unused submodules

Also clean up URLs in .gitmodules to be HTTPS-only, so this repo can be cloned
without github credentials