An SVG design and animation editor for the raphael js library