[Emulink] re-factored PVS Printer: now the library uses Handlebars to generate the PVS model (part of the model for now: state and variables)