Added pre_text option to the HTML writer
Added "<!DOCTYPE html>\n" to html pre_text.