update oneCRLDiff to reflect config changes
update oneCRLDiff to reflect config changes

mozmark/OneCRL-Tools,mozmark/OneCRL-Tools,mozmark/OneCRL-Tools,mozmark/OneCRL-Tools,mozmark/OneCRL-Tools,mozmark/OneCRL-Tools