correct codemirrof version number and plugin internal version number