Merge pull request #2 from NetSys/vjeko

Vjeko
Merge pull request #5 from NetSys/vjeko

Fix the enqueue and tell race condition.
Instrumenter fix
Checkpoint.
Merge.
Merge branch 'master' into vjeko
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.