In the case of redirecting console output to a file, is there any way of prefixing the output with a date stamp before it gets written to the file?