[slime-devel] api for swank:create-swank-server