enable Travis CI badge in README.md