Update svg2tikz.py