dom-new-git-repo(1) on Linux

The text 25a985a5dd04, as Debian 6.0 (Squeeze) shipped it.

Creates a new Git repository in pkg-ocaml-maint space

dom-new-git-repo(1) on Linux now