feat(emacs/lean-cmd): extend info to have column-number
feat(emacs/lean-info): show extra-type info for expr in parens

Close #135
fix(emacs/lean-syntax): weird syntax-hightlight problem"
feat(frontends/lean): persistent notation in sections

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(frontends/lean/inductive_cmd): bug when elaborating inductive tyoe parameters

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>