I have DAV files of an event. How to convert them to something else using Linux Mint? VLC? Any best format for uploading here? Thanks.