Use boost::thread again

... until we are ready to replace the whole boost::thread library with
std::thread.