travis-ci: refining coverity
travis-ci: refine coverity setup