fix(emacs/lean-flycheck): fix error/warning pattern to work on windows
feat(bin/linja): add --verbose option
fix(bin/linja): use Popen.communicate instead of Popen.wait

Popen.wait() can cause deadlock.

Reference:
https://docs.python.org/2/library/subprocess.html#subprocess.Popen.wait
fix(bin/linja): replace '\' with '/' for flycheck output on windows
fix(emacs/lean-util): fix lean-grab-id
feat(emacs/lean-syntax): add more word constituents to syntax table
fix(bin/linja): disable "\r" trick for messages with flycheck
feat(frontends/lean): allow 'sorry' implicit argument to access the whole context, and avoid cryptic error message

See new test for explanation.