(Xronos) Changing the backend name to "Xronos Verilog"