bumped Z3's version number

This version is incompatible with the previous version of Z3.

You'll need to reinstall Z3, eg using scripts/install_z3.sh.