Merge branch 'dl/allow-running-cocci-verbosely'