Adding Coverity Scan badge