always move z3 into place so Setup.hs doesn't fail
add z3mem flag to cabal file.

`cabal install -fz3mem` will link against z3.