travis-ci: refine coverity setup
travis-ci: add coverity script