WIP
added vaadin push
Merge branch 'master' into widgetset

Conflicts:
	build.gradle
rempove the automatically generated .gwt.xml file and ignore further occurences
update to gradle-vaadin-plugin 0.8.2; drop the vaadin addon repo from the buildscripts
added idea/eclipse plugins; ignore generated idea files
tell the gradle wrapper to use version 2.1
join the vaadin gradle plugin configs into the jar and bootRun targets from spring-boot to make building and running with a widgetset work
adjusted example code to showcase use of the widgetset