tools: remove vexriscv_debug