Travis:  we no longer need doxygen.