Added keybindings for using the REPL