GIF encoder for the Bonsai Orbit tool