codemirror: enable scrolling for (webkit/iOS) touch devices