Added Coverity Scan badge.