html: add the after_body state (HTML5 insertion mode)