Minor bug fixes and improvements.
However, fixing issue #32 means that this version is not quite compatible with versions 2.4 and before, because now some subgoals in client proofs won't be needed (i.e., client proofs will get "No such subgoal" message).