Added public files

Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/tail b/doc/efun/tail
new file mode 100644
index 0000000..8c50b35
--- /dev/null
+++ b/doc/efun/tail
@@ -0,0 +1,9 @@
+SYNOPSIS
+        void tail(string file);
+
+BESCHREIBUNG
+        Listet das Ende eines Files. Es gibt kein Zeilenlimit, es werden aber
+        maximal 1000 Bytes ausgegeben.
+
+SIEHE AUCH
+        cat(E), ed(E)