addresses issue #177
Merge branch 'master' of https://github.com/thehogfather/pvsio-web
addresses enhancement request #176
[Emulink] added support for dot notation + input box for entering initial value of state variables (function accessible from context menu -> edit variable / add variable) + minor change in interface.js to improve feedback when files are compiled successfully
[Emulink] re-factored PVS Printer: now the library uses Handlebars to generate the PVS model (part of the model for now: state and variables)
improved APIs for pvs model templates + additional refactoring of PVS Printer for model-based generation with Handlebars
improved Parser and PVS Printer: now expressions can contain functions
Emucharts Parser module: improved API & documentation is now compliant with JSDoc
addresses issue #180
additional fix for issue #180
Removed unnecessary references to process wrapper in server functions that don't make use of the process variable. This might address #179.

Addresses #181 Moved the notification area to the plugins (right panel) so that notifications no longer block information about server status. Also notifications disappear if not explicitly dismissed after 5 seconds.