improved feedback for Model Editor when the pvs file fails to typecheck [ merge from alpha, see commit https://github.com/thehogfather/pvsio-web/commit/0b890e6794046b38f832ee0b43355776447dcc83 ]