Tokenizer: add reportProgress to Tokenizer::simplifyKnownVariables. Ticket: #4409
tools/reduce: improvements to make it possible to reduce code that hangs