Fixed json-y-or-n to return t or nil rather than "yes" or "no"
Modified reset method to abort the lisp listener process rather than the
current process.
Some bug fixes
Added save-context call to typecheck method
Merge branch 'master' of https://github.com/samowre/PVS
bug fixes