reverting the update to Vaadin 7.1.2 until we find out why push does not work any longer with Tomcat 6
making the compilation of SCSS work again