simplify Travis configuration