run: pipe tool output through TEE modifier of plumbum
run: pipe tool output through TEE modifier of plumbum

Former-commit-id: bcd2ba39bbd19e3ef5c88bd6a4f9d3f17362a012
Former-commit-id: 53c3ae39e045c74fb3ff4e18c176097f3b7f2f81 [formerly 53ffcf8ed96cd24864bcddae6c38e0fe3d2d54ff] [formerly b3c573ceacb20ccad991124fc580a191e2774a96 [formerly 6dd43b9b9d05cd16bc4282bb7f15ab852c063ef2]]
Former-commit-id: 1b37bf7052a1abd1147627383d869986c3428586 [formerly 9fe12f94c2ee7a023bafe9fc91e24877541aa567]
Former-commit-id: 09aac90176fcf9c844351c32155459d266a749fb
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild