GitLab

Also extend video saving to support different codecs and options. Notably, we can now save with lossless compression