Optionally mark stdio writes with [rr.<global-time>]. Simple, not-genera...

...lly-correct implementation.

Resolves #608, v1.