Add TinyMCE4

Upgrade TinyMCE3.5.7 to TinyMCE4; option in user preferences to allow
use of old TinyMCE3 if required.