Update comment on annotate_gdb_trace.pl