Add new MathHub config file

mathhub.msl

+// this file acts as the MathHub entry point
+// and is automatically loaded on startup
+
+
+// log all this stuff
+log console
+log+ lmh
+log+ archives
+
+// load extensions
+extension info.kwarc.mmt.mathhub.Server
+
+// start a server on port 8080
+server on 8080 0.0.0.0
\ No newline at end of file