Add coverity integration (maybe)