adds travis-ci badge