create script to run z3 in windows
Z3 checking workable for mac and windows
add WinRunZ3.bat