Fixed the syntax of plugins command (pure and pure_top) to be DOT terminated
factored recursePPOn and recursePOn out of process and together as instances of recurseP
fixed A. M.'s bug where the first call to recurseOn while in interactive mode would stop the prover