[Batch map] Consider decompressing by the tar tool instead of Python (should be much faster)

[karel-brinda]

Should be substantially faster than un-xz-ing in Python

[karel-brinda]

The trick is tar -xOvf - this will print all the files in a stream.