New output format for the manual.

* Introduces a new HTML5 output format for the manual.
* Removes the PDF and text outputs.
* Removes the manual and Java APIdocs from the download packages.
* Gets rid of the native docbook dependency (but still requires xmllint).
* Removes the preview build, as the real build doesn't take as much time now and provides much better feedback.