Fix Java compilation error
Fix dynamic library naming issue in OS X:

  - Change the Z3 library install name by prefixing it with @loader_path (requires install_name_tool)
  - Change the ScalaZ3 install name to its absolute destination path.
  - Update README