fix(frontends/lean/parser.cpp): fix typo
feat: add "--flycheck" option to print out error msgs for flycheck