Not all memory is reclaimed when pthreads are destroyed

Most notably, the stack is not freed in pthread_join or the implicit possibly-later-called pthread_detach destructor. The TCB doesn't appear to be either.

This branch fixes part of it, but it seems like there are leaks elsewhere too.