[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not

gcc/ada/

	* libgnat/a-strunb.ads: Mark package in SPARK with private part
	not in SPARK.
	(Free): Mark not in SPARK.
1 file changed