Issues with linking Z3 on OSX
[lustrev] forced the z3 lib to be loaded before others when using the provided bash script.
Add the script to update LD_LIBRARY_PATH for z3