Fix dynamic library naming issue in OS X:
  1) Change the Z3 library install name by prefixing it with @loader_path (requires install_name_tool)
  2) Change the ScalaZ3 install name to its absolute destination path.

The automated extraction on OS X should now work properly.

Also a minor fix to Z3Wrapper (missing semicolon).