Update bzlib to 0.5.0.4
Update agum to 2.5
Update cpsa to 2.3.1

Ignore number of iterations ('-r n') because the programs closes
stderr and exits with failure in case of an error.
Update Crypto to 4.2.5.1
Update fgl to 5.4.2.4
Updated funsat to 0.6.2
Update gf to 3.5
Update fst to 0.10.0.0
Update HaLeX to 1.2
Update happy to 1.19.1
Update palindromes to 0.4
Update pappy to 0.1.0.2
Update QuickCheck to 2.6
Update regex-pderiv to 0.1.3
Update TernaryTrees to 0.2.0.2
Update xsact to 1.7.3