Reliably compile z3 for all platforms including Windows#3431

tokatoka merged 4 commits intoAFLplusplus:mainAFLplusplus/LibAFL:mainfrom

ThomasTNO:reliably_compile_z3ThomasTNO/LibAFL:reliably_compile_z3Copy head branch name to clipboard