feat(emacs): add lean-complete-tag (tab)