Mixing time into the pool

[Ben Laurie]

I just pushed 3cd8547a2018ada88a4303067a2aa15eadc17f39 to master, which
adds time to the random pool.

Before I cherry-pick back to earlier branches, it'd be nice if people let
me know about any platform dependencies...