feat(src/emacs/lean-mode): add shortcut for restarting lean server
refactor(frontends/lean): combine info annotations in a single module
fix(frontends/lean): type information for "atomic" notation declaration, fixes #292