A human-powered randomness generator