Implement Thread yield on Win32. cf. #665