Yield a DFXMLObject with objects_from_file

This patch separates DFXMLObjects from source files from the
differential grouping DFXMLObject created in make_differential_dfxml.

Also renames vo -> vobj for variable consistency.
Fix a sorting bug
Ignore another pseudo-file name
Rename variables
Check path uniqueness