Simplify travis-ci configuration