SpringTime: select win32 clock based on config&cmdline-parameter 'useHighResTimer'