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
fix(emacs/lean-util): fix lean-grab-id