devenv: add asciinema to record terminal sessions as text

See https://asciinema.org/ for more info.