Install z3 libs so they can be discovered automatically
Install z3 libs so they can be discovered automatically

Eliminate the need for setting `LD_LIBRARY_PATH`, `builtins.Z3_LIB_DIRS`,
`Z3_LIBRARY_PATH`, or `PATH` env vars.

pysmt/pysmt,pysmt/pysmt