LZMA compression

• LZMA.Encoding: started July 28th, first working version August 16th (revision 457).
• Zip-Ada's Zip.Compress makes use of LZMA encoding since revision 459.

More details here.