Add a Coverity badge.
[skip ci]