Add Coverity Scan badge to top-level README.