Shorten generated URL

[KvanTTT]

Currently, it's long even for a short "Hello world" program:

https://play.kotlinlang.org/#eyJ2ZXJzaW9uIjoiMi4yLjIwIiwicGxhdGZvcm0iOiJ3YXNtIiwiYXJncyI6IiIsIm5vbmVNYXJrZXJzIjp0cnVlLCJ0aGVtZSI6ImlkZWEiLCJjb2RlIjoiZnVuIG1haW4oKSB7XG4gICAgcHJpbnRsbihcIkhlbGxvXCIpXG59In0=

The URL stores the following (base64-encoded):

{"version":"2.2.20","platform":"wasm","args":"","noneMarkers":true,"theme":"idea","code":"fun main() {\n    println(\"Hello\")\n}"}

Since the URL is not human-readable anyway, I suggest considering the following optimizations for it:

• Use an archiver (gzip?) for the input code before compressing to base64
• Remove non-essential symbols from the input: leading and trailing braces ({}), double quotes for keys, probably pairs with empty values ("args":"")

[nikpachoo]

Hey @KvanTTT!
Thank you for the suggestion. We agree that the current design of URL's state is not optimal - it's too long.
We are considering revamping the widget and how the states are displayed, but hard to say when it will be done.
For sharing a sample we suggest using the "Copy link" button, which provides shorter URLs.