Update README for GNATprove

Signed-off-by: David MENTRE <d.mentre@fr.merce.mee.com>