Specify the character encoding

The character encoding should be specified in the HTML file since there is no way to have GitHub Pages indicate it through a HTTP header.