TouchKit now compiles with Vaadin 7.2-SNAPSHOT/7.2.0.beta1

Pointer event and some other API has changed in Vaadin 7.2.

Change-Id: I186187ec9a0f414453ccd5d5b5e2b13a0f0d06c1