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