new launch configuration type: "midas-record" #223
Description
That would always be a "launch" config, but include rrOptions (and related).
This would run without any actual debugging but allows to do the necessary recordings for "midas-rr" type directly from the editor (especially useful as an intermediate beween current midas-gdb launch to midas-rr attach.