[Format] Add VariableShapeTensor canonical extension type definition

[rok]

Describe the enhancement requested

We want to add a canonical extension type definition for arrays containing tensors with variable shapes.
This is to track the documentation change. For actual discussion see #24868 and #37166.

Component(s)

Format

[rok]

Closing in favor of #37992