Use jquery to remove style attributes in clean_html in editor.js
bumped to version 3.13.6
Merge branch 'develop'