Merge commit '0b9f19cf19473fa69e80aa586338d9409d869a40'
Merge commit '188780fbcbb6fa96dea94f89bbbcecd46c01d041'
Fix build
Merge commit 'f87673507426591b0f37527d2d617de10390921c'
Properly update the clocks
Slow down there, cowboy
Update comments, fix "deadLetters" src issue
Merge commit '4d382e5d805eeeca897fb6d9cbf09b1cadc80df0' into colin-rbcast
Add logging for ExternalEvents.
Rename logger to VCLogger to avoid namespace conflicts
Factor failure detector into its own file, to be used by multiple schedulers
Merge commit '2525d292f1c0ae2e13767735167ebf38affe134d'
Include installation insturctions
Merge commit '2d9e2999732efd0f0b74cb66a17768deea0621ef' into colin-rbcast

Conflicts:
	interposition/src/main/scala/verification/FailureDetector.scala
	project/Build.scala
Add trace minimization code