Added rough Goedel machine section
Merge branch 'master' of github.com:Soares/agi-2014-papers

Conflicts:
	diagonalization-in-stei.tex