+* In run-all:
+ - Fix compression of output files (make it optional?).
+ - Use more legible names for generated files.
+ Current problems are:
+ . file names are too long.
+ . MORE_ARGS do not appear in file name.
+ Why not simply using file names "plain.out", and "bookkeeping.out"?
+