update
Merge branch 'master' of https://github.com/shazqadeer/popl2015

Conflicts:
	paper.tex
removing files checked in by mistake