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