Update the Travis configuration