Copy NDArrays as human-readable JSON
Currently, the JSON copied to the clipboard by the memory instance viewer is in a very raw format.
In particular, NDArrays are copied in their low-level byte-array representation, which is mostly useless to humans.
@RainerKartmann @dreher