Feature Request: A/V export (mpeg, etc.)

[indigodarkwolf]

There's gif exporting, there's wav exporting, it seems reasonable to consider welding these two ideas together somehow to export an A/V file. This is obviously more involved than the existing solutions, so this is longer-term, or something to do while we wait for updated hardware information and/or official emulator r40.

[irmen]

maybe spawn external "ffmpeg -i pipe:0 -i pipe:1 result.mp4" and instead of writing the .gif and the .wav to a file, write them to 2 pipes?