Add pull/push commands for cloud sketches from the editor's toolbar

[kittaakos]

Describe the request

Pull/Push actions should be available next to the ... command from the editor's toolbar

Describe the current behavior

It's not available

Arduino IDE version

2.0.3

Operating system

macOS

Operating system version

12.5.1

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 latest nightly build
• My request contains all necessary details

[kittaakos]

IDE2 needs another way to indicate the progress of the sketch pull/push operation. The cloud sketchbook tree might not be opened/visible when users pull/push a sketch from the new tab toolbar commands.

[kittaakos]

TODOs:

• IDE2 must not show pulling and pushing in the sketchbook tree
• IDE2 must disable pull/push commands (both in the editor toolbar and the tree) when pulling/pushing a sketch
• IDE2 must show an indefinite progress (with location: 'notification') when pulling/pushing a sketch
• IDE2 must not show an indefinite progress when pulling/pushing is guarded with a modal dialog: create new cloud sketch, rename cloud sketch