GNATcheck: add the -V short format option for --version

To mimic lkql tools version options.

Author: thvnx

lkql_checker/doc/gnatcheck_rm/using_gnatcheck.rst

@@ -16,7 +16,7 @@ The following switches control the general ``gnatcheck`` behavior
   .. index:: --version
 
 
-``--version``
+``-V, --version``
   Display Copyright and version, then exit disregarding all other options.
 
   .. index:: --help
@@ -395,7 +395,7 @@ GNATcheck:
     There are several command-line switches that you cannot pass through the
     ``Switches`` attribute:
 
-    * ``--version``
+    * ``-V, --version``
     * ``-h, --help``
     * ``--list-rules``
     * ``-P``

lkql_checker/src/gnatcheck-options.ads

@@ -218,6 +218,7 @@ package Gnatcheck.Options is
           (Parser => Parser,
            Name   => "Version",
            Long   => "--version",
+           Short  => "-V",
            Help   => "show the tool version and exit");
 
       package Help is new

lkql_checker/src/gnatcheck-output.adb

@@ -437,7 +437,7 @@ package body Gnatcheck.Output is
          Put_Line
            ("usage: gnatkp -Pproject [options] [-rules [-from=file] {+Rkp_id[:param]}]");
          Put_Line ("options:");
-         Put_Line (" --version  - Display version and exit");
+         Put_Line (" -V, --version  - Display version and exit");
          Put_Line (" -h, --help - Display usage and exit");
          Put_Line ("");
          Put_Line
@@ -504,7 +504,7 @@ package body Gnatcheck.Output is
       Put_Line
         ("usage: gnatcheck [options] {filename} {-files=filename} -rules rule_switches [-cargs gcc_switches]");
       Put_Line ("options:");
-      Put_Line (" --version  - Display version and exit");
+      Put_Line (" -V, --version  - Display version and exit");
       Put_Line (" -h, --help - Display usage and exit");
       Put_Line ("");
       Put_Line

testsuite/tests/gnatcheck/version/test.out

@@ -0,0 +1,11 @@
+Long format
+===========
+
+gnatcheck <version> (<date>)
+Copyright (C) <date>, AdaCore.
+
+Short format
+============
+
+gnatcheck <version> (<date>)
+Copyright (C) <date>, AdaCore.

testsuite/tests/gnatcheck/version/test.yaml

@@ -0,0 +1,9 @@
+driver: gnatcheck
+format: brief
+tests:
+  - label: Long format
+    extra_args:
+      - '--version'
+  - label: Short format
+    extra_args:
+      - '-V'