[gh-15] Extra file_exists check on overlay.js

It has only been in that location since 3.01 of codemirror.  If
it isn't present, the editor will at least still work