fetch random bits from random.org, feed them to random number generator