A Post-Simulation Trace-Based RISC-V GDB Debugging Server