(chore) Simplify travis.