repl: add `repl.setPrompt` for dynamic repl server