fixed travis-ci badge