Add the html version (html5) and encoding to the html files