StreamOutput: Mark printf with __attribute__((format))

This allows the compiler to throw useful warnings.