update cabal file to only build liquidhaskell once
Merge branch 'master' into vector