GNATprove building instruction added