Move extensions marketplace settings to webide domain

MR: Move extensions marketplace settings to webide ... (!157999 - merged)

Description

Introduces settings module to Web IDE as described in Introduce Settings Module to Web IDE domain (&14496 - closed)

• Moves extensions marketplace settings to webide domain.
• Adds independent version of settings module to webide domain
• Includes associated refactorings to extract out common logic from settings module
• Includes support for only processing requested settings

Acceptance Criteria

Acceptance Criteria

See details in Move extensions marketplace settings to webide ... (!157999 - merged)