DMI tool initial commit
Slightly more sensible defaults for diff output with +q
Automatic DMI merge stuff
Merge pull request #7145 from GinjaNinja32/dmitool

DMI tool thingy. Is able to do many things with DMI files.