Improved Travis configuration