Include Travis CI badge