Add IDE debug support to platform.txt #1064

Job	Run time
compile-examples (arduino:mbed:nano33ble)	12m 29s
compile-examples (arduino:mbed:envie_m7)	16m 54s
compile-examples (arduino:mbed:nanorp2040connect)	21m 36s
compile-examples (arduino:mbed:nicla_sense)	12m 23s
compile-examples (arduino:mbed:nicla_vision)	19m 15s
compile-examples (arduino:mbed:opta)	24m 38s
compile-examples (arduino:mbed:giga)	40m 53s
compile-examples (arduino:mbed:nicla_voice)	8m 11s
compile-examples (arduino:mbed:edge_control)	9m 2s
compile-examples (arduino:mbed:envie_m7:target_core=cm4, - libraries/KernelDebug - libraries/Port...	4m 38s
	2h 49m 59s

Provide feedback