new contributor

updated README;

HOL-Quickcheck_Benchmark works without timeout (NB: isatest imposes global timeout already);

tuning

merged

reverting d466ebc27810 as the previous changeset should allow to run Find_Unused_Assms_Examples again

providing a custom code equation for vimage to overwrite the vimage definition that would be rewritten by set_comprehension_pointfree simproc in the code preprocessor to an non-terminating code equation

tuned signature: use thy_load to adapt to prover/editor specific view on sources;