Update the others to current HEAD, randomly.
Update the HEAD positions.
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.