python to xmi convertor