Add Travis CI badge.