Remove xml2rfc.

xml2rfc is now installable via pip.

Closes #17227.