Use extended XYZ format, now supported by ase.io.read()/write()