xml validation code. WARNING: does not currently pipe directly from gunzip to xmllint, making
it somewhat inefficient.