Fixed CHC.Util.Logic package name and
updated cabal file.