Change Peek slightly
Add pointer to colin-rbcast branch
Whitespace bombing run
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
Revert "Whitespace bombing run"

This reverts commit 713942705075e374ba56fe842f6b4b3fee362b7a.

Conflicts:
	src/main/scala/verification/schedulers/PeekScheduler.scala
Merge commit '0b9f19cf19473fa69e80aa586338d9409d869a40'