A Python animation library