Added public files

Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/disable_commands b/doc/efun/disable_commands
new file mode 100644
index 0000000..0b6757e
--- /dev/null
+++ b/doc/efun/disable_commands
@@ -0,0 +1,10 @@
+SYNOPSIS
+        void disable_commands();
+
+BESCHREIBUNG
+        Verbietet dem Objekt, Kommandi zu verwenden, die normalerweise Usern
+        zugaenglich sind. Diese Funktion ist das Gegenteil von
+        enable_commands().
+
+SIEHE AUCH
+        enable_commands(E)