Change the 'README.gnatcheck' file into 'README.md'

Also correct formatting of this file to comply with the MD format.

Author: HugoGGuerrier

lkql_checker/share/examples/README.gnatcheck renamed to lkql_checker/share/examples/README.md

@@ -1,18 +1,17 @@
-G N A T C H E C K    E X A M P L E
-==================================
+GNATcheck Example
+=================
 
 This directory contains a simple example of using GNATcheck. This example is
 derived from one of the examples included in the GNAT compiler distribution
 (see the subdirectory share/examples/gnat/simple_project of your compiler
 installation if you have one).
 
-Compared to the original example, the following two things have been added:
+Compared to the original example, a sample GNATcheck coding standard file named
+`rules.lkql` has been added. This is an LKQL file containing a set of GNATcheck
+rules and their configuration.
 
-- A sample GNATcheck coding standard file named 'rules.lkql'; this is an LKQL
-  file containing a set of GNATcheck rules and their configuration.
-
-If you want to try out GNATcheck on any other project - just copy the sample
-coding standard file to another project's directory, besides the GPR file.
+If you want to try out GNATcheck on any other project, simply copy the sample
+coding standard file to the project's directory, besides the GPR file.
 GNATcheck will use it by default when running on this project file.
 
 You can also modify the coding standard file in any way you want - you can
@@ -26,12 +25,12 @@ Using GNATcheck from the command line
 $  gnatcheck -P simple.gpr
 
 GNATcheck will output messages in your command shell, and will also generate
-the report file "gnatcheck/gnatcheck.out" in the project's objects directory.
+the report file `gnatcheck/gnatcheck.out` in the project's object directory.
 
 
 Using GNATcheck from GPS
 ------------------------
 
 Open the project file in GPS, then choose the command
-'Analyze->Coding Standard->Check Root Project". You will see the diagnoses
+`Analyze->Coding Standard->Check Root Project`. You will see the diagnoses
 generated by gnatcheck in the 'Locations' GPS window.