xmltree_dump_includes.php: dump XML attributes, too