fix travis-ci badge