Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/obj/tools/MGtool/man.d/xhead b/obj/tools/MGtool/man.d/xhead
new file mode 100644
index 0000000..5801055
--- /dev/null
+++ b/obj/tools/MGtool/man.d/xhead
@@ -0,0 +1,11 @@
+SYNOPSIS
+ xhead <-#> <file>
+ or
+ xhead <-#> (when reading from a pipe)
+
+DESCRIPTION
+ xhead prints the first part of a given file; It reads from a pipe
+ if no file is given.
+
+EXAMPLES
+ xhead -10 workroom.c prints the first 10 lines of the file workroom.c.