moving even report code to the agda/src subdir
removing links inside thesis/agda/src, will have a higher link
link thesis/agda/src into agda/src