Added public files

Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/printf b/doc/efun/printf
new file mode 100644
index 0000000..d58233b
--- /dev/null
+++ b/doc/efun/printf
@@ -0,0 +1,9 @@
+SYNOPSIS
+        void printf(string format, ...);
+
+BESCHREIBUNG
+        Eine Mischung aus sprintf() und write(). Gibt void zurueck und den
+        String an den Benutzer aus.
+
+SIEHE AUCH
+        sprintf(E), write(E), terminal_colour(E)