Simplify Travis-CI file