Updated the Travis configuration