Add instructions on how to get xml2rfc