add peano number presentation (presented at Code@Night 2/7/14)
Merge branch 'master' of https://github.com/katherineye/software-foundations