[Eva] Partition flows: new functions join_duplicate_keys and filter_map.

join_duplicate_keys replaces the code `of_partition (to_partition)` in
trace_partitioning, and is probably more efficient.
filter_map is applied to flows instead of partitions.