Track message sends
Merge branch 'master' of github.com:apanda/sts2-interposition into HEAD
Make instrumenter less chatty
Instrumenter actor system
Change instrumenter restart
Add a method to shutdown scheduler
Race condition with shutting down
Merge pull request #8 from apanda/master

Mostly: Make the instrumenter less chatty, it is now reasonably stable, let's not print out lots of stuff
Fix some problems with peek
Checkpoint replay scheduler
Completed replay scheduler
Merge pull request #9 from apanda/master

Kind of incomplete replay scheduler
Change instrumenter to enqueue all messages

This change requires that the scheduler kick off processing of messages
after quiescence (including right after being started) but has the nice property
that things are recorded consistently and everything is simple.
Change schedulers to switch to new instrumenter

The scheduler semantics are unaffected with this change
Fix peek scheduler to not double count messages
Merge pull request #10 from apanda/master

Fix the problem with the missing first event
Add more information to the trace
Context tracking
Simplify MsgEvent

Recording the ActorCell and Envelope are a little useless given that they don't hold
across retries anyways
Merge pull request #11 from apanda/master

Checkpointing things from today.