chore(emacs/README.md): add 'f' as a required package for lean-mode
fix(bin/linja): show ninja error/warning
feat(emacs/lean-company): auto-completion for import

Close #126