Add a script to print the sorted benchmarks.