Moved DSL components into a sub package.
Converted to the better label display convention.
EFSM structure and to_dot rendering.
Added state merging for EFSMs