A terminal recorder written in Python which renders your command line sessions
as standalone SVG animations.