README describing the project, and the dir structure
new directory structure, separating agda code and non-code thesis material