Update the travis configuration