add z3mem flag to cabal file.

`cabal install -fz3mem` will link against z3.