Fixed print_whitespace_if_needed() regressions.

Added set_float_to_stdout_mtime(), setting the passed float variable to
standard output's high-resolution modification time. Implementing such
function reliably turned out to be surprisingly subtle, but a key
component of correcting the scurrilous flury of
print_whitespace_if_needed() regressions. *shakes pale, shaking fist*