Raise an OSError if xmllint was terminated by the OS.
Merge pull request #803 from mdboom/vo/xmllint-broken

Raise an OSError if xmllint was terminated by the OS.