Cabal revisions of funsat-0.4

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

 Name:                funsat Version:             0.4+x-revision: 1 Cabal-Version:       >= 1.2 Description:    Library+ build-depends: base <4.8+  Exposed-modules:     Funsat.Solver DPLL.Monad Control.Monad.MonadST Text.Tabular  Other-modules:       Funsat.FastDom Funsat.Utils  Ghc-options:         -W -funbox-strict-fields