[slime-devel] slime patch for swnk-clisp