added classpath entry for z3 api
added classpath entry for z3 api

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