test(emacs/lean-info-test): add test cases for goal visualization

[skip ci]
feat(frontends/lean): only valid proof states should be displayed, closes #275
fix(frontends/lean): do not save identifier info
fix(frontends/lean): do not save identifier info