[sr-dev] git:andrei/cdefs2doc: doc: dump_rpcs.pl: support for docbook output