Simplify travis-ci installation