mipe08to09(1) Reads a MIPE file version 0.8 and prints it in version 0.9