fix(frontends/lean/pp): bug when pretty printing binder information, fixes #73

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(emacs): roll back to generic mode
fix(emacs/lean-info): temporary fix for NAY problem
fix(emacs/lean-mode): enable company-etags in lean-mode
fix(emacs/lean-mode): add missing flycheck-init
checkpoint
checkpoint
checkpoint
checkpoint, use dash.el
checkpoint