Added public files

Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/strlen b/doc/efun/strlen
new file mode 100644
index 0000000..e081a7a
--- /dev/null
+++ b/doc/efun/strlen
@@ -0,0 +1,11 @@
+SYNOPSIS
+        int strlen(string str)
+
+BESCHREIBUNG
+        Liefert die Laenge eines Strings.
+        Diese efun ist VERALTET und ersetzt durch sizeof().
+        Bitte in neuem Code nicht mehr benutzen und in altem
+        Code sukzessive ersetzen.
+
+SIEHE AUCH
+        sizeof(E), extract(E)