A python script for reencoding video files (mkv) to depreciated formats (avi and mp4). Supports (some) subtitles.