Any video tool that can export .mp4, resolution 640x480 (or square video better). But no problem, when you submit I'll take a look at the file, and check it for you!