qcheck free release

Same as 2.4, but qcheck is now distributed independently at https://github.com/c-cube/qcheck/ . Using the tool should not be different from before; if you only used the random testing library then you can install qcheck alone.