Change application settings directory

[spoenemann]

Arduino Pro IDE stores its settings (recentworkspace.json, settings.json) in the default location of Theia, which is $HOME/.theia. The consequence is that it shares these settings with other Theia-based applications. We should move at least part of these settings to a dedicated directory. For example, it does not make sense to share the recent workspaces with other applications.

[akosyakov]

It would help if eclipse-theia/theia#6650 is landed.

[kittaakos]

This is done. Waiting for the review.

For the record, the Pro IDE will store the settings under the ~/.arduinoProIDE/ location.

[spoenemann]

See eclipse-theia/theia#7218.

[kittaakos]

See eclipse-theia/theia#7218.

@spoenemann, see what? What's missing from here?

[spoenemann]

I just wanted to link that issue as it is related.