New documentation and cleanups

Notably, add docs/sphinx for our prose documentation and several
corresponding Makefile targets.