Update TinyMCE plugin version number to clipper-3.5.3