Disable doxygen generation on travis-ci since it causes time-out.