updated to Vaadin 7.1.0
Merged 'develop'.
using the new push mechanism to update the gui when the login was sucessful
don't crash when the Helper.setUser function is called with a null argument
make the "Cancel" link work