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.