Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/rename_object b/doc/efun/rename_object
new file mode 100644
index 0000000..2d31674
--- /dev/null
+++ b/doc/efun/rename_object
@@ -0,0 +1,10 @@
+SYNOPSIS:
+ void rename_object (object ob, string new_name);
+
+DESCRIPTION:
+ Give the current object a new object_name. Causes a privilege
+ violation. The new name must not contain a # character, except
+ at the end, to avoid confusion with clone numbers.
+
+SEE ALSO:
+ creator(E), object_name(E)