[Python-ideas] Add random.choice_iter for randomly selecting from an arbitrary iterable