"Copy" for query results in Editor UI should have toggle for literals vs display values

[jollygreenlaser]

Showing results UI vs copy output.

There should be two modes for copy: Literal and Display.

Literal should be what I use to then paste right back into a query. It should include the type if not primitive. Ideally there would be a setting for using single vs double quotes but single should be the default to match the rest of edgedb's style. It should escape special characters.

'Hello\nthere' and <datetime>'2006-08-02T22:06:26.74+00:00' for the examples above.

Display should be exactly as it's shown in the results UI, but without type or quotes.

Hello
there

and 2006-08-02T22:06:26.74+00:00 for the examples above.