Add benchmarking.py usage descr.