fixup! travis: Add Coverity-Scan support.