Add support for .json options to Gaudi.exe

This is a follow up on !1264 (merged) making possible workflows like:

gaudirun.py my_complicated_options.py -n -o opts.json
gdb --args Gaudi.exe opts.json

(which is faster than gdb --args python $(which gaudirun.py) opts.json)

Note that this can be used in LHCb modern applications only in conjunction with lhcb/LHCb!3825 (merged)

changed the description

changed milestone to %v36r9

added lhcb-gaudi-head label

assigned to @clemenci

• [2022-11-08 14:22] Validation started with lhcb-gaudi-head#3388
• [2022-11-09 00:02] Validation started with lhcb-gaudi-head#3389
• [2022-11-09 00:22] Validation started with lhcb-run2-gaudi-head#413
• [2022-11-09 15:43] Validation started with lhcb-gaudi-head#3390
• [2022-11-09 16:10] Validation started with lhcb-gaudi-head#3391
• [2022-11-09 18:02] Validation started with lhcb-gaudi-head#3392
• [2022-11-10 00:02] Validation started with lhcb-gaudi-head#3393
• [2022-11-10 00:18] Validation started with lhcb-run2-gaudi-head#414
• [2022-11-11 00:03] Validation started with lhcb-gaudi-head#3394
• [2022-11-11 00:23] Validation started with lhcb-run2-gaudi-head#415
• [2022-11-12 00:05] Validation started with lhcb-gaudi-head#3395
• [2022-11-12 00:31] Validation started with lhcb-run2-gaudi-head#416
• [2022-11-13 00:04] Validation started with lhcb-gaudi-head#3396
• [2022-11-14 00:02] Validation started with lhcb-gaudi-head#3397

approved this merge request

merged

mentioned in commit fe423d35