use tinymce from core, bump required wp version to 3.5.1