Restored compatibility with CodeMirror 2, which doesn't have addOverlay