feat(bin/linja): add linja

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