Simplify Travis-setup