Update to Java 7, Tomcat 7, Vaadin 7.1.1 and refactored to use server push UI updates.

Closes #4