feat(emacs/lean-info): add identifier/symbol/nay
fix(emacs/lean-server): check buffer-modified-p before create a process

fix #57
fix(emacs/lean-server): check buffer-modified-p before create a process