-* 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"?
+* Remove usage of opt::option_x in loba_besteffort.cpp and loba_2besteffort.cpp
+ Use -k instead (done). Remove hack marked "FIXME" in opt::parse_args().