A python script that converts between schematic file formats