Merge pull request #2 from NetSys/vjeko

Vjeko
Merge pull request #5 from NetSys/vjeko

Fix the enqueue and tell race condition.
Add Cassovary to the repo.
Apparently Cassovary is not avaliable for Scala 2.11.  Downgrading to 2.10.
Instrumenter fix
Checkpoint.
Checkpoint.
Merge.
Merge.
Merge branch 'master' into vjeko
First stab at a happens-before graph.
Schedulers
Merge pull request #6 from apanda/master

New schedulers
More detailed event trace
Merge pull request #7 from apanda/master

More detailed event trace
Merge branch 'master' into vjeko
Resolve conflicts.
Resolve conflicts.
Fix happens-before relationship.
A first stab at DPOR.