Is there a library for creating SVG animations with Python?