Use local Z3, because it is not on the repo
Use local Z3, because it is not on the repo

Also, revert to using travis containers again

ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell