This makes most tools/plugins for Doxygen work without much adjustment. Also resolved some Doxygen warnings.