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

The text 5dca696d6a97, as Debian 9 (Stretch) shipped it.

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

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