Include javadocs with the manual.

This makes it much easier to maintain the javadocs together with the manual.
There's also some styling fixes for the manual included.