no longer need to build z3 explicitly for the docker image
no longer need to build z3 explicitly for the docker image

google/souper,google/souper,jubitaneja/souper,rsas/souper,rsas/souper,regehr/souper,rsas/souper,regehr/souper,jubitaneja/souper,google/souper,rsas/souper,jubitaneja/souper,jubitaneja/souper,rsas/souper,google/souper,google/souper,jubitaneja/souper,regehr/souper,regehr/souper,rsas/souper,regehr/souper,jubitaneja/souper