slime + hacks for local-package-nicknames, slime-proxy (not updated regularly)