travis: integrate coverity script in regular run.sh