define character encoding so stuff doesn't look weird on *.github.io.
Merge pull request #2 from toolness/gh-pages

Define a character encoding in the HTML.