typo
Merge branch 'master' of https://github.com/yuhuang/MPI-verification

Conflicts:
	NFM15/zeroencoding.tex
reorganized related works in introduction and related works