Convert the libpthread tests to atf.Initial work from the GSoC 2008 project by Lukasz Strzygowski.I think that this, together with the previous conversion of librt, obsoletesthe tests in the semaphore/ directory. Will investigate later.