[slime-devel] swank-kawa and slime-repl.el