Some paper edits, added some citations
Merge branch 'master' of https://github.com/pranjalv123/mexos

Conflicts:
	writeup/paper.tex