Added public files

Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/rmdir b/doc/efun/rmdir
new file mode 100644
index 0000000..19af329
--- /dev/null
+++ b/doc/efun/rmdir
@@ -0,0 +1,8 @@
+SYNOPSIS
+        int rmdir(string dir);
+
+BESCHREIBUNG
+        Loescht das Verzeichnis <dir>. Liefert 1 bei Erfolg, 0 bei Misserfolg.
+
+SIEHE AUCH
+        mkdir(E), rm(E), rename(E)