Creating High Quality GIFs from Asciinema Recordings

Use agg with a huge font size to get high quality of GIFs.