Encoding

This is to address issue #55 : by making sure we read all files as UTF-8, the encoding issues are resolved.

The replacement of &times; isn't really required, but I think better practice to use the entity there.