Fixed two bugs in pthread implementation

1. pthread_join should allow retval=NULL, in which case the return value is
ignored. We therefore need to use void**, not void*&, otherwise passing NULL
causes pthread_join to crash in a strange way.

2. pthread_join forgot to delete the object allocated in pthread_create