Turn on DOXYGEN in at least one travis builder.
We have support to make travis builders use doxygen to check our doxygen comments ... but we haven't turned it on. We should pick a build and add DOXYGEN=1 to its environment.
Edited by Nick Mathewson