new benchmark, benchs.ml; drop use of "bench" package
more bechmarks on lists
more efficient versions of CCList.{flatten,append,flat_map}