html: add the after_after_body state (HTML5 insertion mode)