Merge custom CET mainline into the master sources. This includes fixes for job003519 (Clock values in text telemetry logs on Windows have top 32 bits zero), job003536 (CET Office can't replicate 100k snowmen in reasonable time), job003651 (Stack overflows are not reliably handled).
Mention job003519 and job003640 in the release notes.