Add support for Coverity scan