PropCheck has reached v1.0.0 after implementing the feature of storing counter examples between test runs.

Changelog:

• Counter examples are automatically stored and reapplied until the properties work or the counter examples are deleted. See https://github.com/alfert/propcheck/pull/18
• Mix configuration for counter examples file and for inspecting and cleaning counter examples.