Some paper changes.
Merge branch 'master' of https://github.com/dgaddy/6.819-project

Conflicts:
	paper/paper.tex