travis-ci: refining coverity