initialize_virtual_timer: Robustified win32 version; don't assume that the minimal resolution is one millisec, consult the underlying impl via timeGetDevCaps().