Add coverity addon