Radically simplify Travis config