Doxygen: Converted PDF manual to HTML (Doxygen 1.8.0 or above required)

The advantage is that the manual is much better indexed by search engines
and that it allows for cross-linking, etc.