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