Makefile of thesis report integrating the making of agda files into te