citations.bib: Mach = DBLP:conf/usenix/AccettaBBGRTY86
410.tex: Added Pebbles kspec summary.
paper.tex: Made up a title (too long, though).
410.tex: Added a hopefully-visible box where "Outcomes" text should go.
Incorporate nwf's feedback
Add syscall table
Talk about vanish/vanish troubles