Implement schema for XML

[aweinert]

Internally, automatatutor represents automata and other objects as XML. This is quite ad hoc and there is no simple way for a given XML representation that all parts actually understand it - thus, there should be XML schemas that allow checking of the well-formedness of such XML representations.