travis: temporarily disable Coverity scans until travis-CI integration updated
Merge branch 'master' into gperf-fixes