Add a usedEncoding method to HTML5Parser, fix #121

This turned out to be easy enough to add.

I don’t really like the `usedEncoding` name, but I don’t have a better idea. Feel free to suggest something else.