some mkv demux fixups and add sigma mkv tool