Fix OS X dynamic library naming issues.

Here is a version with fixed library extraction on OS X. We had to address naming issues with both libz3.dylib and the generated libscalaz3.dylib.