Reformatted w3c tests with xmllint