added section md files
agda latex style file for thesis-defense-slides
adapted main.tex of thesis defense