command (in menu and Theories view) to cancel Isabelle execution (issue #39)
command to submit editor contents to prover (counterpart to 'cancel execution' - issue #39)

Submits full perspective of the currently active editor.