Teach is_distinct_query to recognize that GROUP BY forces a subquery's

output to be distinct, if all the GROUP BY columns appear in the output.
Per suggestion from Dennis Haney.