Merge pull request #87 from larsrh/topic/qc-replay

export 'show replay' option
Merge pull request #88 from 3of8/master

Fixed bug with expectFailure in tasty-quickcheck
QC: Remove an old TODO
Restructure the replay code
Add soft timeouts
Merge branch 'pr/89' into info2