removed references to server-props-overrides which aren't used anymore.
Merge branch 'develop' of github.com:geonetwork/core-geonetwork into shared_object_ui