Extending and interacting with the Arduino IDE

[dankeboy36]

Discussed in #8

^{Originally posted by earlephilhower September 27, 2023}
This is only a suggestion, and maybe is better handled in the arduino-ide repo, (and maybe already exists) but I think a few additions could improve the quality of life for users of 3rd party extensions:

• Some accessor to allow extending the pre-existing Tools menu for plug-ins. Basically replicating in some shape or form what IDE 1.x had (nice to have, but not critical)
• A way to write to the Output console vs. making a new one (nice to have, but not critical)
• A way to tell the Serial Monitor to release/re-acquire the serial port connection. This is needed for unimpeded FS uploads (IMHO a big quality-of-life improvement)