install z3 as part of tox