packages feed

HaRe-0.6: tools/property/pfe/Flags.ghc

PfePropCmds.hs: -fno-monomorphism-restriction
PFE_Certs.hs: -fno-monomorphism-restriction