Merge branch 'beta' of github.com:thehogfather/pvsio-web into beta

# By Paolo Masci
# Via Paolo Masci
* 'beta' of github.com:thehogfather/pvsio-web:
  [Emulink] patch for rendering issue with transitions (transitions were not highlighted when mouse was over transitions)
  [Emulink] minor changes to improve rendering of edges in the diagram
  [Emulink] patch for PIM parser (was erroneously omitting the first transition) + improved rendering of transitions in the diagram
  [Emulink] patch for MUZ parser (added support for state names that include underscores and numbers) + patch for canvas translations
  [Emulink] added basic Cpp printer
  [Emulink] added support for canvas translation
  [Emulink] added support for .muz file format (PIM models can now be loaded in the editor)
  [Emulink] code cleanup
  [Emulink] improved rendering of transitions
  Update README.md
  Update README.md
  [Emulink] Improved rendering of self-transitions (introduced additional control points to make the edge less pointy) + bugfix for PVS printer (missing comma in the initial state caused typecheck error)
  [Emulink] bugfix for codegeneration (runtime error due to undefined variable)
  [Emulink] Improved rendering of edges/transitions (added control points to change the shape of edges/transitions in the diagram)
Merge branch 'beta' into alpha

* beta: