create MPEGS directly from within Gmsh
It would be nice to be able to create movies (e.g. mpeg) directly from within Gmsh, without using a script (or at least without using an external binary like mpeg_encode or mencoder): it's really a pain to create even simple movies on Windows.
We could e.g. just include the sources from mpeg_encode in contrib and provide a simple "Save As->MPEG" export option.