Update docs with Travis CI badge.