doc(emacs/README.md): fix typo

[skip ci]
feat(frontends/lean): add 'print definition' command