feat(emacs/lean-cmd): add FINDP cmd
chore(emacs/lean-info): fix indentation
feat(emacs/lean-server): add debug print
feat(emacs): use lean-server-send-cmd-async
feat(emacs/lean-company): add lean-company
feat(emacs/lean-server): add sync/async send-cmd