Repairing Dockerfile

- z3 grabbed from git, as the binary is no more available