complete script for benchmarks
Merge remote-tracking branch 'origin/bench' into bench

Conflicts:
	bench/launch_benchmark.py