XSD verification

[hoijui]

using an XSD document to verify ProtocolDescription.xml, instead of a DTD as it is now, would allow for more sophisticated checks.