push to coverity scan by travis-ci