Use html5ever for HTML parsing

This is **not ready to merge**.  @Ms2ger is still looking over the code for html5ever itself.  Also a few WPT tests are failing due to encoding-related issues and other things I'm looking into.

r? @Ms2ger and @jdm, cc @SimonSapin