added additional options to gifsicle