Add a Travis CI badge to the README