Update the Travis CI link and badge.