v0.1.3

OSDI reproducible.

Note that compared to master the replay tasks are scheduled on to existing TaskManagers.

This is perhaps as performant at least according to benchmarks in the paper but probably not good going forward. ReplayTaskManager is a good thing.