removed agda subdir, going to be submodule
added submodule for prev agda subdir