Make automata modifiable
At the moment you can only create an automaton from which you know already everything, i.e. all locations, edges, ... It would be nice to be able to construct an automaton on the fly by adding locations and edges one after another. Even better: Be able to modify the automaton as you like, i.e. allow to delete parts of it and check its consistency directly.