doc: dump_rpcs.pl: support for docbook output