Simplified the Travis configuration