Upgrade Doxygen configuration file to avoid warnings.

[crism]

Doxygen was scolding me about obsolete settings; the doxygen -u command fixed that, and also fixed a few errors in the documentation comments.