travis-ci: coverity update