Make documentation great again

This branch sets up sphinx for our project.

It also speeds up builds by only starting postgres for those where it's needed, and enables doctests.