fix(bin/lmake): remove debugging messages
feat(emacs): show overload information
fix(emacs): add missing 'require'

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(emacs): add and use lean-string-join
feat(emacs/lean-server.el): add lean-server-{kill,restart}-process

[skip ci]
feat(frontends/lean/elaborator): generate type information for placeholders

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
perf(library/num): avoid exception

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/pp): pretty print numerals

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean): add information about synthesized placeholders, closes #39

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(emacs/lean-flycheck): override flycheck-try-parse-error-with-pattern

For lean-mode, we override flycheck-try-parse-error-with-pattern to
increase column number by 1. It uses defadvice.
fix(frontends/lean/info_manager): add missing method

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/module): include name of corrupted .olean file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/parser): allow parser to continue even if there are errors importing files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(emacs): show synth information
feat(shell/lean): add --permissive command line option

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(frontends/lean/server): add SET command

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(bin/lmake): support --permissive lean option

close #42
feat(emacs): use --permissive lmake option for flycheck

close #42
chore(library): add .gitignore

[skip ci]
feat(library/Makefile.common): add dependency on bin/version

This is related with issue #43.

[skip ci]