improved rendering of graph in stateMachine; code cleanup for stateToPvsSpecWriter; minimal changes in PrototypeBuilder and Emulink (have changed only the plugin names rendered in the html file);