Renaming *.xigt files to *.xml, since they are the XML serialization of Xigt.