Improve property merging code

The property list merging does a bunch of needless copies, and creates some temporaries not actually needed.

It also does significantly more work than necessary, as it first creates a union of all properties over all files, and later iterates over this union to find properties common to all files (i.e. it actually creates the intersection).