CodeMirror overlay : add document history methods