Update provisioning script. Don't install Z3 (this version doesn't use it), and update required packages.
Update provisioning script. Don't install Z3 (this version doesn't use it), and update required packages.

jfeser/L2