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