Task: vaadin-compile-widgetset

Allows compiling of widgetsets (e.g. to use addons from Vaadin). This patch applies on top of the 7.1.15 version patch.