Added coverity badge (#1)