Run "make doxygen" in a travis builder

With #32385 (moved), we now have --enable-fatal-warnings behave sensibly with doxygen warnings. We can prevent ourselves from introducing new doxygen warnings by having a travis builder that does "make doxygen".

This won't apply to warnings about missing documentation: those are off by default, since we have a few thousand of them.