Added pvs-json-rpc and pvs-json-methods to the xmlrpc module
Misc fixes related to prover interaction
Misc fixes related to prover interaction
Misc fixes related to prover interaction
Commented out debug info
Misc fixes related to prover interaction
Cleaned up compiler warnings