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

Conflicts:
	bench/launch_benchmark.py
typos
better orga of bench
almost complete bench (ref, com, comp+improper)
Merge branch 'bench' of github.com:APTE/APTE into bench
Merge branch 'bench'