[Ada] Simplify contract of Ada.Strings.Fixed.Trim for proof

gcc/ada/

	* libgnat/a-strfix.ads (Trim): Simplify contracts.
	* libgnat/a-strfix.adb (Trim): Remove white space.
2 files changed