Add a travis-ci pin to the README