Video Export

Hi! I think than it would be geat to export video files directly from musescore (and not musescore.com). As it is now, if you want to edit a musescore video to add an intro or something, you need to export it to youtube unlisted, download it, edit it, and reupload it to youtube, wich is just a waste of time. A built-in video export feature would also reduce server load, and would help people who need to export lots of videos. And it shouldn't be too hard to add, since this converter already exists on musescore.com.