hydra: add REPL to menu bar