PHP SVG editing library