Small fixes for windows

Windows now builds after nomis52's changes.
What we want is something like

inline std::ostream& operator<< (std::ostream &out, pthread_t thread) {
#ifdef _WIN32
  return out << thread.x                                                     
#else 
  return out << thread
}

in the Thread.h file .