feat(bin/lmake): support --permissive lean option

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

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