Factor failure detector into its own file, to be used by multiple schedulers
Use Set for message contents rather than Array
Add trace minimization code
Add comment
Merge pull request #23 from colin-scott/master

Factor failure detector into its own file, to be used by multiple schedu...