Use XML for serialization.

This way, we don't need a new parser and don't use a new format.