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

Hey Simon after thinking about this, I think its cleaner for the code to use the "positive" term, "USE_DEFAULT_SETTINGS" and flip the meaning and API.