[libsmi] tools/dump-xsd.c