Add support for the Jenkins Doxygen publisher plugin.

Change-Id: I0e8f9ee13b7e6fb22e1a5e4bb613b44ae6927e86
Merge "Add support for the Jenkins Doxygen publisher plugin."