Added submodule ct/categories
Added submodule ct/category-agda
Added submodule ct/cats
Added submodule ct/coq-categories
Added submodule ct/mapoidcats
Added submodule ct/setoidcats
Added submodule ct/setoidfam
Moved several Agda-related files