Fix SConstruct to find F* z3 in path, in tools/Z3, or via --FSTARZ3
Fix SConstruct to find F* z3 in path, in tools/Z3, or via --FSTARZ3

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