A simple extension of Gedit Terminal to support REPL