kbo as default ordering
more provers in bench.ini (variations upon zipperposition)
KBO weight: use invfreqrank with w=1 for constants
in clause-queue, add the maximal type depth to default weight
to avoid very large types...
use invfreqrank + constant=0 as default weight in PEnv
zipperposition.ml: print weights along with precedence
parametrize Lit.heuristic_weight with the weight of individual terms
bugfix in literal comparison
remove deprecated funs
prepare for containers 0.4 (use containers.advanced)
backport readme from master branch
merge from master (for containers 0.4)