fix for issue #161 (Safari and Firefox do not support event.movement events)
addresses improvement request #170 + improved parser rules and PVS printer for handling blank labels (default transitions tick and init)
[Emulink] minor fix for menu item renameTransitions
Merge commit '61230d0dfc7f3cc4e04919db658c93b0f27a23c5' into alpha

* commit '61230d0dfc7f3cc4e04919db658c93b0f27a23c5':
  [Emulink] minor fix for menu item renameTransitions
  addresses improvement request #170 + improved parser rules and PVS printer for handling blank labels (default transitions tick and init)
  fix for issue #161 (Safari and Firefox do not support event.movement events)