Inital commit of the coverity plugin