Sort output of File.list

[GregoryTravis]

Closes #11669.

Checklist

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

• The documentation has been updated, if necessary.
• Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
• All code follows the
  Scala,
  Java,
  TypeScript,
  and
  Rust
  style guides. In case you are using a language not listed above, follow the Rust style guide.
• Unit tests have been written where possible.
• If meaningful changes were made to logic or tests affecting Enso Cloud integration in the libraries,
  or the Snowflake database integration, a run of the Extra Tests has been scheduled.
  • If applicable, it is suggested to paste a link to a successful run of the Extra Tests.

[radeusgd]

Moving sort from Data.list into File.list makes Data.list sorted only when listing local directories, but not S3 nor Cloud.

Please, either bring it back onto Data.list or ensure that the sort is added to other backends.

My rationale for doing it on Data.list was that this was the user facing method and the more internal (S3_|Enso_|)File.list was a bit more low level and used in our internals so the overhead of sorting was not needed there. But perhaps it's good to just keep them consistent - so we probably want to sort everywhere.

[GregoryTravis]

@radeusgd I have put sort back in Data.list. This means in some cases, it will sort twice. These lists are often small, but if you think it's a good idea, I can add a no_sort parameter to to File.list.

[radeusgd]

Hmm, but why do it this way?

This way we are still inconsistent - we sort in File.list but don't sort in Enso_File.list. I think we should either sort in all backends (and then sort in Data.list is no longer needed) or sort in none (and then only sort in Data.list).

I guess sorting in all backends is the way to go.

[GregoryTravis]

Sounds good. I've created #11899 for this, since this change needs to go into the release.