Option to save traces to a normalized format
Execution traces are generated when the program is run, and they are visualized using the web interface.
It would be useful to be able to save these traces in a normalized format (ideally a simple text-based format), so that we could store them and compare them (for instance, we change the interpreter, the example fails at some point: what is the first difference in the trace?).