add doxygen to travis-ci build.
test_sanity: make test less likely to fail.