Compression quality written into file

Decompression.py no longer needs to ask the user what the quality of
compression was!