Kind of OT: Does anyone know any video editing library in Python that adds fancy/animated text with background?