Add support for expressing an Eclipse Color Theme definition within
the Eclipse4 CSS definitions.  This change exposes the Eclipse Platform
Workbench and supports an eclipse-color-theme property.
Use the theme-change event to style changes on the IWorkbench instance
to avoid triggering visual artifacts when adding a CSSEngine to the
IThemeEngine (seemingly resulting from call to reset the current theme)