Menu improvements: add quit, add repl menu