Add support for both GIFs and MP4s

[emmi-ari]

So you can quickly choose yourself if you need a gif which is easier for saving/editing or if you want a high quality, low size mp4 file.