reduce GIF file size with +dither option