Added server pid and tid in init_thread request, and use them in
CLIENT_InitThread.

diff --git a/include/server.h b/include/server.h
index acc5d37..2acd4b1 100644
--- a/include/server.h
+++ b/include/server.h
@@ -97,6 +97,11 @@
 {
     int          unix_pid;     /* Unix pid of new thread */
 };
+struct init_thread_reply
+{
+    void*        pid;          /* process id of the new thread's process */
+    void*        tid;          /* thread id of the new thread */
+};
 
 
 /* Terminate a process */