Added GenerateEverything.agda and Makefile.