Update Travis CI badge.