Add support for Coverity scan

Done.