Implemented a universal encoder based on FFMpeg. I'll get it to work with gif too. Adding other formats should be easy. In fact, recordingformats can be made into something much shorter. Soon™️
