add version to codemirror dir, to avoid caching problems