format html files and change the file encode to utf-8