chore(bin/lmake): remove
chore(src/CMakeLists.txt): copy linja and ltag to bin when install
fix(emacs/lean-mode): handle when there is spaces in filenames
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