Prevent browsers from caching old codemirror when it is updated