list_to_gmultiset

The bag in iris/examples needs list_to_gmultiset. I added a general list_to_set_disj operation for this, which uses disjoint union to turn the list into a set. But @robbertkrebbers suggests we just want a specialized list_to_gmultiset instead? Not sure why.