Optionally read random numbers from /dev/random

Several platforms implement device files for random numbers. Add a
configure option for reading random numbers from /dev/random.

Signed-off-by: Marcus Karlsson <mk@acc.umu.se>