A script to convert WinEDS output into a simpler format