Add SPARK and GNATprove minimal description