win32 time setting utility that uses remote NTP servers, simple and fast