fix travis-ci status badge