fix compilation error of ToySolver.Internal.ProcessUtil with base-4.5.*
add Tested-With attribute to .cabal