use elisp-slime-nav