Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/write_bytes b/doc/efun/write_bytes
new file mode 100644
index 0000000..bb75484
--- /dev/null
+++ b/doc/efun/write_bytes
@@ -0,0 +1,11 @@
+SYNOPSIS
+ int write_bytes(string file, int start, string str);
+
+BESCHREIBUNG
+ Schreibt den String <str> ins File <file> und ueberschreibt dabei die
+ alten Bytes ab Position <start>. Wenn <start> eine negative Zahl ist,
+ werden die Zeichen vom Ende von <file> an gezaehlt. write_bytes()
+ liefert 1 bei Erfolg, 0 bei Misserfolg.
+
+SIEHE AUCH
+ save_object(E), write_file(E)