Test for: #10659 Complexity: 2 - [x] Any OS - @gushuro - [x] Any OS - @aeschli We have enhanced the `WorkspaceEdit`-api to allow to create, delete, and rename files. Test that * everything works as advertised * things behave reasonable in corner cases, e.g. delete a file, then update it