removed obsolete coverage store manager
migrated themes to new workspace concept
added SPI file for theme manager
added layer dependencies