A streaming GIF encoder and decoder