Record Figure to a video file robustly #918

Depends on #765

I think the best way to do this is to just expose the on-demand render mode, and then make an example of how to save frames to a video file using opencv or pyav, don't make it a part of the API.