Jenkins doxygen plugin