feat(util/lean_path): support LEAN_PATH that uses ':' instead of ';' on Windows
fix(tests): make tests can be executed on Windows msys2 shell