[NEST Users] Use of std::thread in rand generators in NEST