Improved travis file

Now uses a precompiled doxygen and latex.
Building of manual is now faster.