Ignore Coverity files