unified Makefile actually put in the src dir
removing Makefile from thesis/agda, will use symlink
added thesis/agda Makefile link