removed QCheck, instead use a new module Logtk_arbitrary
that contains generators for many modules (to be written);
build depends on flag "qcheck" that enables this Logtk_arbitrary