fix codemirror.js dependency in makefile