feat(frontends/lean/pp): improve let-expr pretty printer

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(bin/linja): add linja

close #103, #108
feat(emacs/lean-settings): use linja for flycheck
chore(library/.gitignore): update
chore(library): add .project file
lean-mode checkpoint