Changed the structure of the manual, started using doctools.

The default mvn build now only produces a HTML5 preview version of the manual, in a single page. No docbook needed there. See the readme.