mmt: new option: --mmt-trace-stdout-stderr