Update the Travis-CI configuration