Add description for GNATprove in O7.1.3_O7.1.7

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>
Merge branch 'gnatprove-eval'