IDE-1027 add new property to avoid override portal-ide.properties

this property should match the default, PROPERTY_USE_DEFAULT_PORTAL_SERVER_SETTINGS