FYI: move `Trace File Format' node later

[Tom Tromey]

>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes:

Tom> I am checking this in on the trunk and the 7.2 branch.

I also put it in 7.3.

Tom