[PATCH] demo, ci: Switch to asciinema(1) for terminal recordings