travis-ci: refine coverity setup