ada: Suppress warning about unused variable in trivial quantification

When condition of a quantification expression is written as True or False, then
the user has likely done this on purpose and there is no need for a warning.

gcc/ada/ChangeLog:

	* sem_ch4.adb (Analyze_Quantified_Expression): Suppress warning for
	trivial conditions.