Compress files by default

[KristofferC]

Using something like https://github.com/bicycle1885/CodecZlib.jl the output files can be compressed to ~5% of the current size. It is a pretty lightweight dependency, so perhaps worth thinking about.

[ararslan]

Do you mean the JSON files produced from save? Are those typically pretty hefty?

[KristofferC]

Since the times for all the samples are there, they are pretty big yes.