make SLIME optional

TODO: Refactor so all or most of the SLIME-related sections are together.