ECSTR13x6: Begun updating Section 5.
Merge branch 'master' of github.com:DavePearce/Papers

Conflicts:
	2013/ECSTR13-06/tags/SCP14/loopinvariants.tex
SOme updates
More updates
ECSTR13x6: Updated discussion of do-while loops.