Updated to 7.1.9

Hi, I was in need of some fixes in the new release, so I forked and updated the vaadin version, as well as the plugin version.
Hope I didn't miss something.

Edit:
Also, I proposed a new parameter for the vaadin servlet configuration in the web.xml, to enable async-supported. It's useful when using vaadin-push.