Add Coverity badge.