new URL for getting Z3's tarball
started adding support for side conditions

no syntax yet. Can be used to re-implement where clauses from master
branch