Properly ignored VAADIN widgetset

... and included themes.