ADDED: Converter from GIF to SVG.