travis-ci badge added