Add optional init counter value to annotate_gdb_trace.pl