Use a queue to handle tasks in the RestartScheduler
Use a queue to handle tasks in the RestartScheduler

Summary:
The RestartScheduler now uses it's own of_list function to build a
ProcessPool.TaskGenerator to be able to use a queue as the underlying
data structure.

Reviewed By: ngorogiannis

Differential Revision: D19390055

fbshipit-source-id: d57b493b7

facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer