add a travis-ci badge to README