Added the travis-ci badge