download z3 from binaries branch