Gedit Terminal from 3.12
terminal: add basic REPL support
terminal: use <Control>Return as accelerator