Export Options: destination, naming and batch encoding

[phili2p]

Hey there everybody!

I'm happy to use DOM again for a festival and as COVID makes us working for cinema and online distribution for at least one edition, I would love to come up with my feature requests (again):
- Export of DCPs as mov/mp4s via batch encoder to optimze the pipeline.
- Export all non-DCPs to a specific folder (for archive, preview) by default.
- Naming the file DCP-alike: FilmTitle_ContentType-AspectRatio_Language-Subtitle_AudioType_Resolution_Codec_Facility_Date.mp4

What do you think?
All the best
Philipp