v1.31.0: Auto decompress piped input

This release also improves detection of compressed files in general, by
looking for magic numbers rather than file names.

Crash reporting was also improved, to be able to get better information
about #259.