Video export with GUI
Video export is currently done by the user supplying a command line to call; this relies on the user understanding how to set the command to the correct resolution, bit rate, frame rate and so on. It would be better to have a bit of the UI for video export settings and some Qt way of performing the video export.