Use TinyMCE from deform rather than js.tinymce.

The deform2 branch of deform currently has the latest release (4.0.6)
of tinymce.  Js.tinymce is at 4.0.2.  (The default skin name seems to have
changed from 'default' to 'lightgray' somewhere in there.)