[slime-devel] slime-input-stream and REPL extensions