update link to Travis CI as a result of the name change