feat(emacs/lean-input): add lean-input-export-translations
feat(emacs/lean-info): add PROOF_STATE info

Close #259
feat(emacs): extract proof state information attached to ","
feat(emacs/lean-settings): add lean-show-proofstate-in-minibuffer option
feat(emacs/lean-type): output INFO to *lean-info* buffer in addition to minibuffer

Close #260
fix(emacs/lean-syntax): fix Type1, Type2 highlight
feat(emacs/lean-mode): add lean-info-mode for "*lean-info*" buffer
test(emacs/lean-info-test): add test for proofstate info
fix(emacs/lean-info): proofstate display problem