update z3 to snapshot dependency (we may have further upgrades before next release)
fix inconsistency in build system for snapshot dependencies
Merge pull request #947 from dwightguth/debian

update z3 to snapshot dependency (we may have further upgrades before ne...