Add a documentEncoding property to HTML5Parser, fix #121.