Travis: add doxygen 1.8 binary package