[RFC/RFA] print arrays with indexes

[Jim Blandy]

Joel Brobecker <brobecker@adacore.com> writes:
> How about we enhance a bit the approach, and have:
>
>         set print array-indexes on/off/auto
>
> If set to auto, then we use the threshold?

How about:

        set print array-indexes on/off/THRESHOLD-N