linuxdoc-tools gawk curl libxml++