Allow to select the threading system on Windows * configure.in: changes to enable either pthreads or win32-threads