update z3 api to latest on mac os x
update linux z3 binaries
add windows binaries for z3
Merge pull request #896 from dwightguth/z3_api

update z3 api to latest