Seed the random number generator from the time initially.

This prevents choosing the same "random" servers each run.

Lightweight alternative to #9.