Bundle libz3 within scalaz3.jar

The loading of the libz3 is now deterministic, no more LD_LIBRARY_PATH
needed. libscalaz3/libz3 are always expected to be extracted to
<tmp>/SCALAZ3_<checksum>.

Works on linux and mac, untested on windows.