Workspace: Rename files/folder is case sensitive

[OmarSdt-EC]

What it does

Fixes #9663
This commit fixes the rename command for windows users by making possible
the case sensitive rename of files and folders. Also, it adds the test file
workspace-commands.spec.ts which verifies that the implementation works as expected.

How to test

If your operating system is Windows, you can test this commit with the following steps in the browser or electron target :

1. Create a new folder : foo
2. Create two files in it : a.txt and b.txt
3. Rename a.txt to A.txt
4. It should let you do the rename
5. Rename b.txt to a.txt
6. It should not let you do the rename and the message : "A file or folder 'a.txt' already exists at this location" should appear

You can also test the commit by running :
npx run build @theia/workspace && npx run test @theia/workspace

Review checklist

• as an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

• as a reviewer, I agree to behave in accordance with the review guidelines

[msujew]

I tested the changes on Windows and Ubuntu. The behavior on Ubuntu didn't change, while it fixed the issue on Windows. I tried:

• Renaming a file to the same name but with a different case.
• Renaming a file to create a name collision with an existing file with the same case as the other file.
• Renaming a file to create a name collision with an existing file with a different case.

LGTM 👍

[vinokurig]

The code is OK for me but I can't approve it because I don't have a Windows workstation to test it.

[msujew]

I tested everything again, as the code changed a lot since the last time I took a look at it. However, everything still performs as expected.

[msujew]

@paul-marechal Anything blocking you from approving/retesting?

[paul-marechal]

Code LGTM, and I confirm that I am now able to rename files by just changing the case on Windows.