fix(src/emacs/lean-flycheck): do not report 'sorry' warnings to flycheck, this is a temporary workaround since there is an overlap between flycheck and lean-mode type info
feat(script): add script for collecting standard library compilation times
fix(frontends/lean/elaborator): unsolved metavariables, fix #329
fix(frontends/lean/elaborator): unsolved metavariables, fix #329