including Defense subdir for thesis-defense agda code