updated travis-ci badge