Added public files

Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/object_time b/doc/efun/object_time
new file mode 100644
index 0000000..db4d91c
--- /dev/null
+++ b/doc/efun/object_time
@@ -0,0 +1,10 @@
+SYNOPSIS
+        int object_time();
+        int object_time(object ob);
+
+BESCHREIBUNG
+        Liefert die Zeit, zu der das Objekt <ob> erstellt wurde. Wird <obj>
+        nicht angegeben, wird standardmaessig this_object() verwendet.
+
+SIEHE AUCH
+        program_time(E), program_name(E)