Fix z3 on XCode 5

XCode 5 removed llvm-gcc support, but clang lacks OpenMP support. I've changed the z3 formula to `fails_with :clang`, which will prompt homebrew to use a compiler (prompting to install `apple-gcc42` if none exists).