Addresses issue #120
 - added scale parameter to updateLocation and size function of widgets
 - added routine for updating widgets when window is resized in project manager
 - updated image mapper library to pass scale factor with event parameters
Merge branch 'alpha' of github.com:thehogfather/pvsio-web into alpha
Updated/rolled back patches for #120 with more elegant fix based on imagemapper library.

# By Paolo Masci
# Via Paolo Masci
* 'alpha' of github.com:thehogfather/pvsio-web:
  patch for bug #120 (misaligned widgets when scaling the prototype image)
  missed commit for bug #119
  patch for bug #119 (periodic event used for image polling was causing the creation of multiple svg layers)
  patch for bug #119 (file not found after clicking 'open project')
  patch for pvs syntax highlighting (the fractional part of real numbers is now correctly recognised by the regex)
  [Emulink] patch for rendering of self-transitions and svg translation
  patch for bug #118 (pvsio-web becomes unresponsive because of codemirror syntax highlighter)
  minor changes to css style to avoid clipping buttons of dialogues (issue related to how Firefox renders buttons)
  [Emulink] minor optimisations to reduce computation overhead when drawing transitions
  minor change in css style to fix min width of pvs editor
  [Emulink] minor changes to css to handle panel resize
  minor changes to css style to address issue #116 (css issues when resizing panels)
  [Emulink] added new feature: export diagram as image

Conflicts:
	src/client/app/project/ProjectManager.js