add Travis CI badge to README