replace typecheck button with compile button (compile typechecks the pvs spec and reloads pvsio)