do not use setInnerHTML since it isn't faster on new browsers

see https://github.com/ajaxorg/ace/issues/1980