gumbo, html: support numeric character references