revised emulink architecture: emucharts editor (complete) + emucharts manager (complete) + pvs writer (to be implemented)
implemented functions and forms needed for creating/renaming states and transition from the emulink menu
minor change (css style)
implemented functions and forms for deleting nodes and transitions in Emulink diagrams
removed obsolete files
implemented functions and forms for entering new constants and state variables in Emulink
minor change (adjusted max zoom level)
implemented zoom-in and zoom-out functionalities in emulink
implemented new/create emuchart + moved svg event handlers from EmuchartEditor to Emulink
event handlers moved from emuchart to emulink + implemented toolbar functionality for deleting nodes and transitions
bugfix for SVG translate/zoom events + handler for translate/zoom events moved from Emulink to EmuchartsEditor
bugfix: toolbar colors were not updated when creating/opening charts + missing warning when creating new charts leads to deleting the current chart
implemented quit Emulink function (Emulink menu)
Merge branch 'origin/alpha'
Merge branch 'origin/alpha'