SWiM/validation

Levels of validating OMDoc:
 * XML syntax: well-formed, RelaxNG-valid
 * types and links of documents and fragments: try to check that using the document ontology
 * types of symbols in formulae: OpenMath STS checking
 * Florian's DG checker for checking consistency of theory graphs