Software for Belay+ OSDI12 is easy to build/run

Software for this paper was very easy to find, build, and run, and is
quite well documented.
Merge pull request #8 from ricci/master

Software for Belay+ OSDI12 is easy to build/run