added travis-ci badge