[Python-ideas] Allow a group by operation for dict comprehension