New formula: z3

From https://github.com/mxcl/homebrew/pull/16188