re-added Makefile to make generating TeX from agda easier, example working
presentation skeleton in place, now make beamer slides out of it
Merge branch 'master' of github.com:joaopizani/infomtpt-verified-compilers