Local project manager work against any folder

[4e6]

Pull Request Description

close #8650

Changes in project manager required to work with projects located in custom directories.

Changelog:

• add: --projects-directory /path/to/projects --project-list command line parameters returning the projects located in custom directory
• update: project/create, project/open, project/delete, project/rename commands to work with projects located in custom directories

Important Notes

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• The documentation has been updated, if necessary.
• All code follows the
  Scala,
  Java,
  and
  Rust
  style guides. In case you are using a language not listed above, follow the Rust style guide.
• All code has been tested:
  • Unit tests have been written where possible.
  • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

[JaroslavTulach]

Previously I raised a concern about security. I don't see it being addressed. My hacking scenario would be:

• create private directory and use chmod og-rwx private, put a file there
• launch project manager
• connect to the project manager port as another user on the same machine
• request listing of the private directory

If the listing is denied, then I approve. If the content of the private directory is listed, please seek another approval.

[hubertp]

LGTM