Doxygen related changes. Either improvements to the infrastructure,
fixes of existing doxygen docs, or new doxygen docs.