Replace wysihtml5 with TinyMCE editor 4.0.10

bootstrap-wysihtml5 was too buggy.  I was trying to avoid TinyMCE but it ended up
being the easier to use.  I tried with CKEditor but it proved too
difficult to configure.

Fixes #757
Fixes #946
Fixes #945
Fixes #944