Movie creation

Zoom movie creation has been greatly simplified. The resulting movies are now stored in a single file, and play back more smoothly and cleanly.

Iteration movie creation has been made more powerful.