Programmatically generate video or animated GIF in Python? Programmatically generate video or animated GIF in Python? python python