Fix totality of updateWith/rebuildEnv in Effects
New size change graph builder
Looks at patterns, rather than case tree, and therefore finds it easier to
spot structurally smaller arguments which are more complex.
define and use iputGoal instead of putStrLn
abstract set-prompt into isetPrompt -- and use it
remove duplicate 'intro' and 'intros'
layout improvement
handle Prove in toplevel of ideslave, to reset prompt after it returned
support ideslave mode with prover
more work on the prove mode... now sending messages when it started and finished
send start/end proof mode messages from within prover
report proof state if it is modified by a tactic application