Fixed json version of theories
Fixed pvs-current-mode to use symeval-in-process - otherwise getting the value
in the current xml-rpc thread.
Moved a macro