Switch to git submodules

This switches to using richard as a git submodule rather than a
subdirectory. It's easier to deploy specific tested versions of richard
this way.