dsc2git: --help: new option printing a HelpMessage