Adding a travis-ci badge to README