introduce a way of incrementally constructing a printf call

This is a step towards allowing us to emit printing of an array type as a loop
instead of unrolling the array at code generation time.

Github: related to #194 "clearer CEX output with scalarsets"