Update Changelog.txt.
docs/Compilation.txt: Update msysGit.
Update contrib/coverity.bat.

Use lzma with tar.