Added tinymce.js to static_htmlbook.html