To be consistent with javadoc, see commit
ac631f9ebd (odk: use javadoc -notimestamp,
so generated docs don't unnecessarily differ after each build,
2012-10-17).
Change-Id: Ie52d2ca08a873e663869d60413be7bf8ec1e0b56
Earlier versions apparently used HTML as default if no output format was
specified. 1.8.7 no longer does that.
Change-Id: Ia8f908f54b344530e1b50e8800c032f782fb36e9
* New build prerequisite doxygen (controllable via --with-doxygen).
* Adapted various headers to slightly different doxygen documentation
syntax, but much clean up still remains to be done (i.e., warnings
emitted by doxygen fixed).