Change Peek slightly
Scheduler
Merge branch 'master' of github.com:NetSys/sts2-interposition

Conflicts:
	src/main/scala/verification/schedulers/PeekScheduler.scala
Peek fix
Merge pull request #13 from apanda/master

Failure detector