Added a script to print the profiling stats in batch mode.