Move configuration files into legacy

config/config.mcf → legacy/config.mcf

-#include /content/MathHub/meta/inf/config/catalog.mcf
+#include /content/MathHub/meta/inf/legacy/catalog.mcf
 #base
 /content/MathHub/
 #archives

config/def-build.mbt → legacy/def-build.mbt

@@ -6,7 +6,7 @@ controller.handleLine("log console")
 
 // // log to file, superceeded by Docker Logs
 // val format1 = new SimpleDateFormat("yyyy_MM_dd_HH_mm")
-// logToFile("/var/data/localmh/MathHub/meta/inf/config/logs/" + format1.format(Calendar.getInstance().getTime), true)
+// logToFile("/var/data/localmh/MathHub/meta/inf/legacy/logs/" + format1.format(Calendar.getInstance().getTime), true)
 
 // logging archives and server
 controller.handleLine("log+ server")
@@ -26,5 +26,5 @@ loadExtension("info.kwarc.mmt.api.web.JSONBasedGraphServer", Nil)
 
 
 // load the catalog
-loadConfig(root + "meta/inf/config/config.mcf", true)
+loadConfig(root + "meta/inf/legacy/config.mcf", true)
 loadExtension("info.kwarc.mmt.api.ontology.RelationalReader", Nil)
\ No newline at end of file