Do not install doxygen any longer

Do not install doxygen on the Travis CI machines to speed up the
build iterations.  This was done earlier in case we needed to bootstrap
lutok, but lutok has been fixed to not require doxygen for a simple
installation.