Upgrade the documentation build system

Upgrade the crufty makefile-based build system for the documentation to something more robust and easier to maintain (cmake?)