add Doxygen plugin