Updated Coverity scan docs