splitting test_goal function in two functions; exporting new configurations in quickcheck; iterations depend on generator_name in quickcheck

adding prototype for finite_type instantiations

adding option finite_types to quickcheck

adding test cases for smallcheck and adding examples where exhaustive testing is more successful

changed old-style quickcheck configurations to new Config.T configurations

adding temporary function test_test_small to Quickcheck

added useful function map_context_result to signature

moving the error handling to the right scope in smallvalue_generators

removing clone from function package and using the clean interface from Function_Relation instead

adding function generation to SmallCheck; activating exhaustive search space testing

adding dummy definition for Code_Evaluation.Abs and hiding constants App less strict

generalized ensure_random_datatype to ensure_sort_datatype

renaming quickcheck generator code to random

ported sledgehammer_tactic to current development version

adding dependencies to IsaMakefile; adding sledgehammer_tactic in Mirabelle_Test