Make all settings accessible from the Theia Preferences tab

[boundmaidlea]

Describe the request

As i prefer the cleaner and imo more easily assessable look of the Theia Preferences i'd like to have access there to all settings that are in the Preferences Overlay ported from the old IDE.

Describe the current behavior

currently only a few select options, those who directly affect the editor, are mirrored in Theia's Preferences tab

Arduino IDE version

2.0.0-rc7-nightly-20220615

Operating system

Windows

Operating system version

10.0.19044.1706 Pro

Additional context

My Nightly Build is 4 days old, but the 3 commits since then do not have any relations to this feature.

Issue checklist

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

[boundmaidlea]

Oh and ideally also include setting like the board selector, port, board setup, etc.

For that it will be especially useful that the Theia Preferences allow settings per Workspace aka. Project