travis: coverity test