Terminal session recorder that generates animated GIFs and shareable web players from command-line recordings
