added the travis-ci badge