fix(emacs/lean-flycheck): support windows

In windows, we need to first call python interpreter to call linja.
fix(emacs/lean-tags): support windows
fix(bin/linja): support windows

':' has a special meaning in build.ninja and has to be escaped. In
windows, ':' is used for drive names (i.e. c:).
refactor(bin/linja): clean up
refactor(bin/linja): clean up