Record terminal sessions as SVG animations
