Vaadin version downgraded to 7.1.1 (as 7.1.2 was missing from maven
repo), vaadin-push dependency added.