bugfix for pvs printer (was using state id rather than state name)
replace typecheck button with compile button (compile typechecks the pvs spec and reloads pvsio)