add Travis CI badge to README.