feat(library/error_handling): generate valid line and column information
when in flycheck mode
fix(frontends/lean/parser): error line numbers for lua code, fixes #194