Customize repl prompt and add a couple plugins