Light edits to Goedel machine stuff.
Merge branch 'master' of github.com:Soares/agi-2014-papers