feat(emacs): add lean-find-tag (M-.)
feat(emacs): add lean-complete-tag (tab)