Tidy the travis CI config