Misc changes
Added, splitting out functions from pvs-xml-rpc.lisp
Added
Misc changes for xml-rpc support
Misc changes
Added some exports, and made more checks before loading prelude-libraries in
clear-theories
Merge branch 'master' of github.com:samowre/PVS