Misc/Travis: Add missing command to Coverity addon