Export compiled binary

[elominp]

Hi! I added an "Export Compiled Binary" command such as the one in the Arduino IDE (but currently not in the Arduino CLI) which copies the compiled binaries of a sketch in the sketch folder.

I know it's possible to get them by setting the output parameter in arduino.json but at least it adds an alternate option invokable directly by its command and not requiring to keep the full build directory if we just want to keep the binaries.

Thanks for your reviews and comments

[msftclas]

All CLA requirements met.

[wolfen351]

Thanks for building this! Eagerly awaiting this feature :)

[nosknut]

Any reason this PR died?
Also, this might be replaced with the --export-binaries flag from arduino-cli and this issue:
#1654
https://arduino.github.io/arduino-cli/0.25/commands/arduino-cli_compile/

[lersi]

hello, I created a community fork at https://github.com/vscode-arduino/vscode-arduino.
You are more than welcome to merge your changes there.