bug#9000: patch for higher-resolution time stamps

[Eli Zaretskii]

> Date: Fri, 22 Jun 2012 14:21:50 -0700
> From: Paul Eggert <eggert@cs.ucla.edu>
> CC: Eli Zaretskii <eliz@gnu.org>
> 
> No further comment and the patch seems ripe
> so I installed it into the trunk as bzr 108687
> and am marking this bug as done.  I'll CC: this
> to Eli as it affects the Microsoft ports.

This badly broke the MS-Windows build.  I'm working on fixing it.