added enhancement for #309057 in xmllint shell Daniel * debugXML.c: added enhancement for #309057 in xmllint shell Daniel