z3: version 4.3.1

This adds the Z3 SMT solver. It also should install proper python packages (it has a stupid `make install` step I had to work around).