ratrepl: a ratpoison REPL