mod_editor_tinymce: use version 4 by default

#726