Update documentation for artifact

We should update things to be up-to-snuff for artifact submission.
Might be a good idea to package up (or at least link to) the docs in the artifact itself.

It'd be nice to have the code docs better integrated with Sphinx; this might require some upgrades to odoc though.

As a stretch goal, we should really start making versioned docs too.