Doxygen is now used.

Some comments in src/util are used for the doc demo. The doc target is
added to the Makefile.