improved feedback for Model Editor when the pvs file fails to typecheck [ merge from alpha, see commit https://github.com/thehogfather/pvsio-web/commit/0b890e6794046b38f832ee0b43355776447dcc83 ]
fix for issue #158
[Emulink] introduced mouse overlay to enhance visibility of modes for the diagram editor
[Emulink] fixed issue with mouseoverlay (mouse icon erroneously translated when zooming chart)
[Emulink] added separation offset between transition arrows and transition labels; enabled selection of initial transition when mouse over initial node; improved calculation of box width when renaming nodes (see improvement requests #159)
improved production rules for PVS parser library (fix for issue #160) + additional feedback for parser errors
fix for issue #161
Merge Emulink changes from master
Merge commit '98e42e4d4cbd6684ad05c94dcae28e7bf029cfe2' into alpha

* commit '98e42e4d4cbd6684ad05c94dcae28e7bf029cfe2':
  fix for issue #161
  improved production rules for PVS parser library (fix for issue #160) + additional feedback for parser errors
  [Emulink] added separation offset between transition arrows and transition labels; enabled selection of initial transition when mouse over initial node; improved calculation of box width when renaming nodes (see improvement requests #159)
  [Emulink] fixed issue with mouseoverlay (mouse icon erroneously translated when zooming chart)
  [Emulink] introduced mouse overlay to enhance visibility of modes for the diagram editor
  fix for issue #158
  improved feedback for Model Editor when the pvs file fails to typecheck [ merge from alpha, see commit https://github.com/thehogfather/pvsio-web/commit/0b890e6794046b38f832ee0b43355776447dcc83 ]

Conflicts:
	src/client/app/plugins/emulink/EmuchartsPVSPrinter.js
	src/client/app/plugins/emulink/Emulink.js