Merge "Python utility that creates a trace file to be consumed by replayer"