better printing in CCBench
rename benchs.ml into run_benchs.ml
benchmarks for CCVector
some optimizations in CCVector