Add repl-toggle which permits to toggle the repl and back using
universal bindings