modify PATH_SUFFIXS of Z3_LIBRARIES from "bin" to "lib"

[Absoler]

libz3.a should be in the "${z3_prefix}/lib/" directory, Z3_LIBRARIES will not find target if it's "bin"