[gh-15] Replace copied version of CodeMirror overlay.js with file in library