Handle `Ctrl-Enter` and `Shift-Enter`

[Vampire]

It would be nice if Ctrl-Enter would invoke the "Execute" button.
And maybe Shift-Enter or Ctrl-Shift-Enter or similar to invoke the "Inspect Ast" button.

[leonard84]

Sounds good, do you want to try adding them? Although for Macs, you probably want to replace Ctrl with Cmd.

[Vampire]

I did, but did not get how to properly capture that, so thought I'll let it for someone knowing what they do. :-)