[slime-devel] Splitting slime.el