travis: temporarily disable Coverity scans until travis-CI integration updated