Use asciinema for tui demo

[dfordivam]

This replaces the ghcup.gif with a demo using latest ghcup and asciinema player.

The demo is short and similar to the ghcup.gif. It can be viewed here https://asciinema.org/a/3NMIZgpSO2Ml8CiQc6Bj3gnAW

The main page looks like this

[hasufell]

The double checkmark looks borked for me:

[dfordivam]

This is a font size issue, it happens for me also on chromium. Firefox works fine.
Let me see if an override to font-family could fix this

[hasufell]

Is there a reason we use asciinema directly and don't convert to a gif via https://github.com/asciinema/agg ?

[dfordivam]

I had in mind adding multiple demos, so using web player would result in lower payload sizes

[hasufell]

I had in mind adding multiple demos, so using web player would result in lower payload sizes

Why? Can't we just link them?

[dfordivam]

You mean upload the various demos on a separate page and link them from main page.
That would be fine, and gifs would work for that.

Adding multiple gifs on the main page was my concern.

[hasufell]

You mean upload the various demos on a separate page

I mean https://asciinema.org

[dfordivam]

The double checkmark issue happens on asciinema.org as well. And it may be better to host various demos together in a single page, such that user can scroll and see various features.