Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/master/remove_player b/doc/master/remove_player
new file mode 100644
index 0000000..b70a1fb
--- /dev/null
+++ b/doc/master/remove_player
@@ -0,0 +1,14 @@
+SYNOPSIS
+ void remove_player(object ob)
+
+DESCRIPTION
+ Remove an interactive user object ob from the system. This
+ function is called by the interpreter to expell remaining
+ users from the system on shutdown in a polite way. If this
+ functions fails to quit/destruct the user, he will be
+ destructed the hard way by the interpreter.
+
+ This function must not cause runtime errors.
+
+SEE ALSO
+ remove_interactive(E), slow_shut_down(M)