Updated the Mac and PC tools to convert IIgs video files back into
animated GIF files.