feat(emacs/lean-cmd): add FINDG cmd
chore(frontends/lean/server.cpp): add BEGIN/END for WAIT command
feat(emacs/lean-cmd): add WAIT command
feat(emacs/lean-company): call FINDG if cursor is at "_"