A text editor zipper library