Update contrib/coverity.bat.

Use lzma with tar.