[m-dev.] for review: new debugger command set (part 1 of 4)

[Erwan Jahier]

> browser/debugger_interface.m:
>         Add redo to trace_port_type.

You should do the same change in compiler/trace.m where trace_port_type
is also defined.
-- 
R1.