[Python-ideas] concurrent.futures deinitializer for Executor