Lean 4 .olean file (de)compressor.

Homepage:
https://github.com/digama0/leangz/
