Option to disable "Used Library" and "Used Platform" output when compiling

[obra]

Describe the request

When building a single sketch, the "Used Library" and "Used Platform" output from arduino-cli are great, but when building a test suite, it can somewhat clutter STDOUT.

--quiet does not suppress that output
--show-properties=disabled does not suppress that output.

It would be delightful to have a command-line option to suppress that output.

I could probably cobble together some code as a proposed PR if a maintainer provided some guidance about whether a good implementation was likely to be accepted and what the name of the option should be / what the right implementation strategy was.

Describe the current behavior

(To the best of my knowledge, and based on my not-so-great go skills) It is not currently possible to disable the printing of the after-arduino-cli compile build summary that looks something like this:

Used library                             Version Path
Kaleidoscope                             0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv
Kaleidoscope-Hardware-Keyboardio-Model01 0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-Hardware-Keyboardio-Model01
KeyboardioHID                            0.0.1   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/KeyboardioHID
EEPROM                                   2.0     /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/.arduino/user/hardware/keyboardio/avr/libraries/EEPROM
Kaleidoscope-EEPROM-Settings             0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-EEPROM-Settings
Kaleidoscope-EEPROM-Keymap               0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-EEPROM-Keymap
Kaleidoscope-FocusSerial                 0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-FocusSerial
Kaleidoscope-FirmwareVersion             0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-FirmwareVersion
Kaleidoscope-MouseKeys                   0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-MouseKeys
Kaleidoscope-Macros                      0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-Macros
Kaleidoscope-MacroSupport                0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-MacroSupport
Kaleidoscope-Ranges                      0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-Ranges
Kaleidoscope-DynamicMacros               0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-DynamicMacros
Kaleidoscope-NumPad                      0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-NumPad
Kaleidoscope-LEDEffect-BootGreeting      0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-LEDEffect-BootGreeting
Kaleidoscope-LEDEffect-SolidColor        0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-LEDEffect-SolidColor
Kaleidoscope-LEDEffect-Breathe           0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-LEDEffect-Breathe
Kaleidoscope-LEDEffect-Chase             0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-LEDEffect-Chase
Kaleidoscope-LEDEffect-Rainbow           0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-LEDEffect-Rainbow
Kaleidoscope-LED-Palette-Theme           0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-LED-Palette-Theme
Kaleidoscope-Colormap                    0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-Colormap
Kaleidoscope-HostPowerManagement         0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-HostPowerManagement
Kaleidoscope-MagicCombo                  0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-MagicCombo
Kaleidoscope-Qukeys                      0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-Qukeys
Kaleidoscope-USB-Quirks                  0.0.0   /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/plugins/Kaleidoscope-USB-Quirks

Used platform  Version Path
keyboardio:avr 1.6.11  /Users/jesse/Documents/GitHub/keyboardio/firmware/priv/.arduino/user/hardware/keyboardio/avr

Arduino CLI version

1.1.1

Operating system

macOS

Operating system version

15.2

Additional context

No response

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the nightly build
• My request contains all necessary details