update Z3 to latest unstable and fix translation on 32bit/Win
Merge remote-tracking branch 'origin/interacting-solvers' into interacting-solvers