feat(emacs/lean-flycheck): override flycheck-try-parse-error-with-pattern

For lean-mode, we override flycheck-try-parse-error-with-pattern to
increase column number by 1. It uses defadvice.