Update git submodule: html5editor