Move all doc build stuff to doc/source/GNUmakefile, leaving a 'make dok'