Improve StateMaker usability for drawing automatons
- save and restore state positions when closing and reopening automaton output
- draw transitions as Bezier curves with ability to move the control points
- export to TikZ directly from StateMaker to preserve the layout
Edited by Martin Prokopič