Merge branch 'ppos' of https://github.com/gparmer/Composite
Added parallel data-structures benchmark.
Changed scheduler and mailbox to use new ck_ring interface.

Updated concurrency toolkit (ck) to the newest version from github.

Continue benchmark next.
Merge branch 'master' of github.com:interwq/Composite
Added mcs lock and spinlocks with backoff.
Merge branch 'master' of github.com:interwq/Composite
Added heap benchmark.
Done with the data-structure benchmarks.
Verified that everything works fine. Going to merge Gabe's new commits
and start working on kernel integration of the new ERT-based design.
Merge branch 'ppos' of https://github.com/gparmer/Composite
Merge branch 'ppos' of https://github.com/gparmer/Composite
In progress...
1) Fixed ppos test programs (kern.c).
2) Changed kernel memory to use contiguous memory, which makes
PA to id translation constant.
Merge branch 'ppos' of https://github.com/gparmer/Composite
Merge pull request #86 from interwq/master

PPOS  update