Vaadin version updated to 7.1.8. Solves problem with drag in IE. Closes #797.