enable use of native win32 z3.exe on recent versions of WSL
enable use of native win32 z3.exe on recent versions of WSL

project-everest/vale,project-everest/vale,project-everest/vale,project-everest/vale