*) Add support for exporting the TM as a graph (xfig, MetaPost, ...)
*) Add more examples (sorting algorithm, universal TM, ...)
*) Debugging mode (breakpoints, output, ...)
