Add other repos as submodules.
I've added them to .gitmodules but ignored the repos themselves. Hopefully this means everyone can just do `git submodule update --init --remote`, without us having to commit updates every time one of the repos changes.