Add more info to dump.py -p
Avoid re-opening trace files.