tracer: Use `hart_id` for trace file format

Created by: zarubaf

When having multiple CVA6s this was problematic. Legacy code since an early version of verilator had problems with the string manipulation.

This shouldn't have any impact on the existing project since the tracer isn't used anywhere else afaik.

/cc @domenicw