Compares the given map (key->value) of properties and returns a map of all the
different ones, where the key is the key of the property and the value contains
information about the change
Return if the only difference between the installations is in the
properties (that is, they are the same installation but with different
properties) or in the state.