Add option to print registers using ABI names in trace

As mentioned here (https://github.com/riscv/sail-riscv/pull/494#discussion_r2070268477), printing the ABI names for the registers is often more useful than the x names. Once #494 is merged, this should be added as another logging option.