coverity.bat: Prefer 7-Zip for packages.