added .gitignore to agda code subdir of thesis-defense