Update gulpfile

Codemirror now builds successfully into the js/ folder.

To build Codemirror into js/ on your local machine, replace `../ThemeDB`
with the relative (or absolute) path to your working folder in each

    gulp.dest()

The built js files will then appear in codemirror/. Note that there will
be two files, one minified and the other not.