Stream tool output through BenchExec for truncation prevention#1170

t0hsumi wants to merge 12 commits intomainsosy-lab/benchexec:mainfrom

add-output-selectorsosy-lab/benchexec:add-output-selectorCopy head branch name to clipboard