[dev] coverity scan

[Mats Wichmann]

Could someone who has the appropriate rights (I presume that's "admin":
Habib, Rick or Dan) push the button to update the Coverity scan?  The
last one is a bit long in the tooth, dating back to Sept. 18, quite a
bit has changed.