Update TinyMCE to version 4.0.20 (see #1495)