Allow incremental reexec.
Add stderr summarization.