Fixed jsonrpc-error to return the condition string rather than the condition
itself.
Added pvs-abort to export list
Added reset method
Added some files to interface var
Added proved? to export list
Added proved?, complete?, and has-proofscript? properties to formula decls
Added pc-complete to export list