[QuickCheck] feature request: Add counterexample to Result

[Simon Hengel]

Hi,
it would be awesome if I could get the counterexample for which a
property failed from Test.QuickCheck.Result, e.g.:

    counterexample :: Result -> [String]

We already have the counterexample included in 'output', so I could try
to parse that instead.  But this would be fragile, as a user can
construct arbitrary error messages with Test.QuickCheck.Property.Result.

Cheers,
Simon