and
LP#1412488: lrand48() doesn't scale well on highly concurrent platforms
Use re-entrant versions of standard RNG functions with thread-local
states. Seed thread-local RNGs from the RNG of the thread invoking
sb_thread_create() (i.e. the main thread).
The main thread RNG is now always seeded from timer, unless --rand-seed
is specified. Which obsoletes --rand-init, so it has been removed.
