rename editor.file-picker.hidden to ignore-hidden

[tshepang]

That will make it more clear what it actually does

[pascalkuthe]

We dont do breaking config changes (or any renames in general) when it's not absolutely necessary

[the-mikedavis]

Also see #3086

[tshepang]

it could be an alias, and the old name deprecated