Merge 3.5 - Issue #15308: Add 'interrupt execution' (^C) to Shell menu.

Patch by Roger Serwy, updated by Bayard Randel.