* Complete proof of the Bubble Sort
	* Adjust targets to give more time for proving
          SPARK.Bubble_Sort
	* Added reference output for GNATProve GPL2014