Merge branch 'pmderodat/log-comma' into 'master'

Accept comma-separated log names in the internal --log option

See merge request eng/das/cov/gnatcoverage!343

In other words, interpret for instance "--log L1,L2" the say way as
"--log L1 --log L2".

For eng/das/cov/gnatcoverage#164

Author: pmderodat

tools/gnatcov/command_line.ads

@@ -1116,10 +1116,12 @@ package Command_Line is
 
    String_List_Infos : constant String_List_Option_Info_Array :=
      (Opt_Log => Create
-        (Long_Name  => "--log",
-         Pattern    => "[GNATCOLL_TRACE_NAME]",
-         Help       => "Enable logging for the given GNATCOLL trace name.",
-         Internal   => True),
+        (Long_Name               => "--log",
+         Pattern                 => "[GNATCOLL_TRACE_NAME]",
+         Help                    =>
+           "Enable logging for the given GNATCOLL trace name.",
+         Internal                => True,
+         Accepts_Comma_Separator => True),
       Opt_Projects => Create
         (Long_Name  => "--projects",
          Pattern    => "[GPR|@LISTFILE]",