use updated z3 jar with fix for java memory leaks
use updated z3 jar with fix for java memory leaks

intentionet/batfish,intentionet/batfish,intentionet/batfish,intentionet/batfish,arifogel/batfish,batfish/batfish,batfish/batfish,arifogel/batfish,batfish/batfish,dhalperi/batfish,dhalperi/batfish,arifogel/batfish,intentionet/batfish,dhalperi/batfish