How to create a video file from animations that run in a div (or other DOM element) in Javascript. For example: