Check Doxygen as part of Travis